All right, so I got another bid from a body shop for the detailing, this time for $230. They get good reviews, and it sounds like a very thorough all-day process. He said it is what they do for the car dealers. They shampoo the interior, treat the leather, use a three step process on the exterior, and they'll even apply the touch up paint. I'm going with them. Thanks all for the advice.