No not yet was just seen whats out there but I'm sure there stock height and I'm fine with them but I was thinking maybe some better ones might be nice
I run .116 wall 9.150" with my solid lifters on aluminum heads.
Part number would be 5116-(length) for the tapered ball end and are about $10/ pushrod. You shouldn't need anything more than an .080 wall for a mild valve train tho.