2001 Golf TDi local foreign auto place says non-OEM aftermarket ABS speed sensors 'won't work' any truth to this? any suggestions on which brands/where to buy that 'will work'? thanks all, Rolf in MA