Are the 308 TDC Flywheel sensors made by Bosch? I was wondering as I got a quote for one and it was $126. I thought that was a little high for this...