I've got the same car, not as clean and a few less options and there's no way I would sell it for that price.

Coolant transfer pipe wasn't mentioned. It would be complete luck to get to that mileage without having it go bad. That's about an 8 hour project plus $300 parts.

Alternator bracket gasket on cars with an oil cooler is about an hour DIY.