should a pressure washer pump get hot