Glad you got your mower running, we had to take ours to the john deere place too and left $415 poorer. I could not believe the price!
Ours is just a push mower... that much money would buy a new one! :~D
At our next place, we'll have a nice rider.