OK, dumb question time ... Is there an easy way to measure the pinion depth. I can't be as easy as somehow getting 1.7mm of feeler gauges "somehow" down between the pinion and gearbox casing can it I may need to chase up a dial gauge maybe ( I bet my grandfather has 1/2 dozen of them in his shed somewhere).