Ken, should push rod tubes be replaced in pairs or just the one that
appears to be leaking?  Also, how long should it take the average mechanic
to replace two tubes and readjust the valves?

Regards,

John