I recently bought a Robinair vacuum pump model 15234. It seems to run rather hot to touch. Today I pulled a rather long vacuum, over an hour and it cut off-due to the overload/overheat switch which I assume is built into the pump. Is this normal for this style... Login to read more.