$9,500 is almost enough for a new car like a Nissan Versa. As is in writing is just that. If he can select another car, spend a couple of bucks and have a shop go through the vehicle. You may be able to purchase a warranty. That may be prudent if its available and the warranty may be available from someone else other than the seller of the vehicle. Good luck.