Have you or your machinist considered measuring it?
The specs for the original height have been posted here in the past.... may take a little digging but you should be able to track them down.
Looking at a couple pictures only provides 1/10th the useless results as a real, in-person visual inspection... no better than guessing.