Well, I guess I waited too long, it sold for $1050 this morning.
http://cgi.ebay.com/ws/eBayISAPI.dll...vip=true&rt=nc
Bummer, as I'd sent a best offer to the guy a couple of weeks ago, but it was declined. He contacted me yesterday saying he didn't know he had a minimum set and told me what he'd take for it (which was less than it sold for today).