Oil pressure switch.