Before driving out there this afternoon, I talked to the dealer, they just figured out what work to do on it: Replace Mirror, visor, breaks, hoses... $3200 shop bill.
They said they plan to list it at $19K, so $10,500 may have been what it sold for at auction.

Still shopping -- Randall