I read once about different ABS sensors that could work, costing around $40 each. Can anyone remember the part number or the source? Samuel