That would be correct. To make things more difficult, using a tube to sleeve the pushrod hole isn’t an easy thing to do since there not a nice round machined hole. But it’s possible to use a brass tube and then fill the space with an epoxy. JB weld or other.