Stick with a mechanical roller with pushrod oiling, that's what Rich recommended for my 572 several years ago, I just hope to be able to drive the car before gas becomes a thing of the past. Tim

1941 Taylorcraft
1968 Charger
1994 Wrangler
1998 Wrangler
2008 Kia Rio
2017 Jetta

I didn't do 4 years and 9 months of Graduate School to be called Mister!