Got prices back from BMW. I'm inclined to replace the sensor. The last one has been on 5 years, and the service desk say it's best practice to replace. It's only a £20 GBP part.
All in for discs, pads and sensor £217.22 GBP or $283.00!
I know - and I've still to fit em!