I have a 7753 and an inexperienced operator may have damaged it. He got in and started it up and didn't press the button to get the green light by pressing the button. He kept pressure on the foot peddle(s), staining the pump. After a minute or two, the machine shut down and I asked him to get out. When I tried to restart the skid steer, it sounded like the starter was straining to turn over the engine. after a few seconds it wouldn't turn it over at all. NOW NOTHING. I won't turn over at all. The solenoid on the starter works but the engine wont' move. I cleaned battery terms, cables, etc. I've heard of "hydraulic lock". Is this likely to be my problem? Thanks