Turns out he sent back a very nice email stating he had a high offer of 4500 for it.
He could probably get a bit more. Nice drivers have gotten pretty scarce. Maybe a "serious collector" wouldn't be interested in this car, but plenty of others would be. Depending on actual condition, $5000 to $6000 wouldn't be out of line--maybe more, some places.