That sucks dude. Atleast a shop did the sensor and not you. So hopefully you don't have ti come out of pocket. Yeah, I'd do what has to be done to get them to cover it also.