I'm getting some new wheels for my Civic and was price comparing some sensors. Came across this sensor called a 'redi sensor'? Has anyone ever heard of it?