UPDATE (and close to this story):
veni, vidi, emi I came, I saw, I bought!...a 2008 Cobalt. No CEL, no play in the steering, nice handling....HIGH miles (207K). Paid $2k (officially); $2400 (with taxes and fees); $3000 (all expenses, including lodging, transportation, etc...and plated/registered, etc).
The auction was a unique experience...probably something every car-oriented bargain hunter should do at least once. The "mini-vacation" was fun, too...among other things, we went to the nearby casino to cool off: the better half sat down, played exactly ONE spin of the nickel slots--and promptly won $60! (We left right after that--barely had time to hit the head.)
Don't know what I'll do with the car--might keep it. Might inspect it and sell it on C/L for a stupidly high price and see if I get any takers. (I checked, and I'm allowed to sell 3 cars a year, as is my wife...which is more than enough for me, solo, working from my backyard.)