FYI -- Picked up a new spare sensor on eBay for only US$21, including shipping. Is in an off-brand box, but haven't looked closely enough at it to see if actually is Bosch, etc. I'll likely install it, and carry the old one in the XF as a spare.