I have a buddy's head in hand and a bag of BBC? studs from Tom Lowe and am unsure how much to shorten the rocker studs. Leo's book says between .1" and. 4" depending on pushrods used. I'm assuming he wants rollers??? Any tried and true combinations here?