If you look at reputable pushrod companies, .065 is plenty (however .080 is more common). Not sure if pro comp would be considered reputable though.