If you need to adjust the push rod you will need a Push Rod Height Gauge J-7723-01, as stated in the manual.
From an outside source:
To buy that gauge is near impossible, unless you are lucky to stumble on it on a yard sale. Maybe someone here has one you can borrow.
But if you need to make one yourself here are the measurements:
Finally, I needed to adjust my push rod. So made a gauge with above measurements using a door card from a hotel:
Here in millimeter:
And if you prefer in inch:
Very easy to use gauge for all applications.