I ended up taking it back to the dealer, who will most definitely repair it. What they do with the mower after that really isn't my problem anymore.