pushrods size

The pushrod length cheker is a smart idea. Normally, if you know for sure the amount lessened by machine work, you can deduct that amount from the new pushrod length and be fine.

Best to check though.