I've seen thin wall stainless tubing cut and inserted into the pushrod holes as a fix for grinding a little too far like that. Seen heavily ported old iron heads where all the intake ports where sleeved. Cost of doing business when you want the port openings as wide as they can go.