So a full inspection and reinstating of the brakes has them working perfectly?

Although adjustment of the switch/pedal may sort the light issue; if the pedal has changed position over time, and doesn't return to where it used to, then there seems to be an initial fault, and the light/switch issue is just a symptom of this.

You have to bear in mind, simply because the brakes work well, doesn't necessarily mean you don't have a return issue.