I doubt it. They need to be very accurate, and one
would not want to
open the sleeve to punch one.
A set of 10- and 16-hole punching jigs were done by a list member some
years ago. They work through the window in the sleeve, so don't require
opening the sleeve. But they're for 5.25".
De