Pushrod length after milling heads

How much are you going to have in your entire engine project? You are worried about pushrods "in your price range"? You can get any custom pushrod length you want for probably right around 100 bucks. If you're worried about an extra 100 bucks, you may as well just sit around and watch Beavis and Butthead reruns all day.