I was on a boat today where the owner complained about his on/off lpg solenoid getting hot. I've looked at it and indeed after having it 'on' for 5 minutes the 12V. solenoid is nearly too hot to touch. I can't remember feeling a hot solenoid before, not on engines or on plumbing. Is this normal or does the solenoid needs to be replaced asap?