Brake light problem

[MarkS4]

My S4 has just failed its MoT because the brake lights are not working. The garage reckons the problem is the pedal switch. Their usual supplier can't help. Any suggestions would be welcome.

Mark P.