Good thing you're getting this info upfront about the ABS sensor so you can talk with your mechanic about it before he starts.....my mechanic ended up trashing mine during the CV boot repair, but said the sensor had basically bonded itself in there and it broke when he tried to free it.
Just in case yours does end up trashed, I got one from a Trooper for about $85.