I think I have now found out what the switches might have been.
They may well be Rotax type N5CD’s 5C/875 (5CW/875), or possibly 5C/1091 (5CW/1091).

If the replies on my other thread are correct, they were also used on Battles/Spit’s/Gladiators etc as well.

Does anyone have any spare top their needs ?.

Bob T.