This is on my craftsman power washer with a Briggs 7.75 engine. Today I went through a full tank of gas. I noticed the pump got hot and ran like crap. When these pumps get hot do they normally run like this? Is the pump toast? This unit gets used maybe three times a year. Replaced the carb because the lack of use. Thanks. The pump is mounted on the bottom.