Thanks for your replies. Guess my machinist should have known this. Now I need to decide if I should change lifters or get new pushrods.