Does this seem right -- the ABS dashboard light stays on all the time... but $2000 to replace the module? That's the estimate from my mechanic. They're saying the PART alone costs $1700.