Like I said, madcap idea but simple in concept. Were not talking a precision sliding fit for the pushrods, more of a foolproof way of holding them more or less in the right place, so the box drops straight on. There can be considerable leeway between the gasket and pushrods, and only the rear edge of the front of the rockerbox gasket needs to support the pushrods as they naturally fall forwards. Time for the cardboard template for you experimenters. I mentioned the Longstroke, here the pushrods are some 6mm in diameter, passing thro' a 11mm hole in the head gasket. Hardly a tight fit but aids assembly well enough.
The possibility of relatively soft copper being rubbed away is of no real consequence, more harder materials end up in the oil and sediment out, and these days oil filters are more commonly fitted.
Swarfy.