Has anyone found a replacement latching relay for the either the water pump or water fill? The original is a SAR 9200 from Hungary.