In "Geoffrey S. Mendelson"
wrote:

I don't remember the sizes, but holes were never sawed for tube
sockets. Instead of using saws, which are very difficult to control
and make a mess of everything, hole punches were used.

Don't say never :-)

Greenlee chassis punches were much coveted when I was a kid. The
highschool radio club had a few (W3CDI, now apparently defunct), but
they were far too expensive for individuals to own.

I usually had to resort to drilling a hole with the largest bit I had
and then going the rest of the way with a rat-tail file.

--
Bert Hyman W0RSB St. Paul, MN