By using a piece of brass tubing you can also make an incorrectly sized large hole smaller. Just put the correct size tubing in the hole and weld to it. That's also a useful trick for welding ends back on to broken pins (digger buckets and the like,) where you need a hole for a retaining bolt.

johnboy