Thats bad luck. If its just the clip maybe you can bodge a temporary fix.Did you take any sound clips in the end? I would be interested to hear the difference.
Anybody know the part number for this sensor or how much it would cost? Plus can I drive my car with it being broken??