Just some digging from the internet, it appears to be what you thought it was, a sensor to monitor the oil pump turning. Used in conjunction with other sensors to insure engine is receiving lubrication. Can't find any info if the sensor reports amount/pump speed versus RPM. Are you having issues? I'd bet Rich knows more about the system, maybe he will comment.