Thanks, Erik
I have both a revolving hole puncher and individual punchers for smaller diameters (1mm and 1,5mm). The revolving puncher is faster but I didn't find a model for smaller diameters.
Moving on to the locomotive, the pictures show the back wall, complete with the brake actuator.