How much for the pressure switch?