Footswitch estacionario DPDT ON-ON APEM, "Premium quality".

Those switches are the same DPDT footswitches that were used with Marshall Shredmaster, Drivemaster and Bluesbreaker pedals sold in mid 90s. You will need to enlarge the existing PCB mounting holes (with a 1mm drill bit) as those switches have larger contact legs but it's a rather smooth operation and once installed, you can't tell the original from that one.

Delivery was fine with tracked shipping.

I will definitely order more of those switches as spare parts.