I haven't checked that it all checks out, but I think this sort of stuff needs verification. But all of it is customizable and generated in code, so that's a huge win. You can just use the model to make modifications as you go.