Yes, this is the one that was fitted to their latest red car when it was at the Stoneliegh show last year but by the time the car got to Donnington, the switch had been changed to another make.
Theirs must have fallen apart as well ?
Can't believe this switch costs £30? I'm using a Delta rocker switch which cost me about £9 from Europaspares.