When I had a 7800 I made up a hotwire setup to plug into the "convenience outlet"(cigarette lghter socket) to get power to the solenoid so I could use the PTO when the switch went bad.

Have since sold the 7800 and bought a 4450.