A fault code reader won't pick this fault up as it only reads the engine ECU.

450 big ones for a new sensor though

I would take it to a different dealer or even an auto electrician for a second opinion, quite likely they damaged a wheel sensor when doing the discs/pads and are trying to squeeze a fair few quid from you.