I got the jumbo sockets in for the 838, look to be 2" hole is required, I have 5 hole punches but none are that big. Then there's the 813, I have the socket and tubes, but they look to be more like 2 3/16" or so. At 2" and above chassis punches are expensive.
You don't want to wait to eat your raisins.