Hi Jonathan! Your machinist should have known to shorten the valves by grinding off the stems to compensate for the change in assembled height of the valves. This precludes the need for changing the length of the pushrods. Once you grind the pushrods you lose some of the lift on that particular valve, and it can cause you trouble later if you should disassemble the engine again as the pushrods are very easy to get mixed up. Hope this helps. 300'ly, Gary Hagy