They said basically everything in the pump needed to be replaced. Lots of rust. Oh well, now it works at least! I'm running into a small electrical issue now. It was running fine for the past day, drove it around the yard fine. After I did a couple of fast spins, it died like it lost fuel. I cranked a bit but no start. Let it sit for a few min. Put it in service mode and it started. Shut it off, switched to run position, and it started fine. Fast forward to today, it won't start in run position. It cranks, but the fuel solenoid isn't getting power. The EIC reports 0v battery voltage. The seat switch works fine (EIC lights up when I sit down), and the seat belt switch works fine (the seat belt light turns off when I put my seat belt on). It will run in service mode, although the EIC turns off while it's running. Any ideas? I'm currently searching the service manual for ideas, namely how it measures battery voltage since I think something is messed up there and it's making things weird down the line.