There's several ways of wiring a tone pot, and they all work the same.
The on-on-on mini switch should work, but it's mounting hole is smaller than the original box-type switch, so you'll have to drill a new hole or fill this one in with a washer. Invalid Link Removed, including the original box-type switch or an "economy" version of the open LP switch for 6.90 Pounds.
Thanks crater - and it seems Allparts have a pretty good copy of the box switch
Switch - toggle switch - short straight - economy w boxed leaders
Is that the one you were thinking of ?