$200 is fine,he wouldn't use bad brands.

OR

Count how many wires coming out of the sensor and order a bosch one of ebay and fit it yourself with a 14mm flared wrench.Might round it otherwise.

Gotta match the number of wires.

I would buy a bosch and let him fit it.They are friggin' hard to undo.Spray some wd-40 on it!!!