“what is the brand name (embraco, other?) of the compressor in the WRS535SWHZ whirlpool refrigerator and who makes them?”