Paul,
I know what you mean. Well, it maybe a great idea to look at other sources for cars that are sale. Try using autotrader.com, ebay, and your local news paper (which I know you would have looked in) sometimes it is best to wait. I notice more people start selling their cars in the summer, so you may even want to wait till then.
I live in Georgia, and could not find a decent manual myself, so I bought mine through eBay from a women who just had twins, and the family had to sell it, because they needed more room. Anyways, they bought a new dodge, and sold the car to me for cheap. I paid just 1800 for a 93 Civic LX with 158k miles, now this year I will have had it two years, and only put in about $400 worth of new parts, and it runs like perfect. Now with the older civics they do have lots of road noise, etc... however, it is very reasonable when it comes to repairs, great on insurance, and has impeccable gas mileage. These are all things your son will need. So, do not give up on your search.
Good luck in your search.