Thanks, can you give me more info about what it is properly called? A google search turned up several different speed sensors.