ATV.us is the superior of the two. The one issues is that ATV.com is very well developed as part of a network which will not help for the big sale.
I'd say mid $xxx for domainer-domainer and $1-2K for retail. There are going to be a number of enthusiasts and clubs that can be easily targeted.
SQL is more difficult (I tried to get this one). The name is great for developers; however, developers are cheap. A number of user groups or organizations would love to have it though. I preferred SQA which I think dropped the same day.
Probably value the same but with a little more interesting sales path - MORE opportunity, but MORE bargain hunters
Great names though. I think that the .us angle can work from a club standpoint. Some times these are regional so the .us could definitely work.
Nice domains I'd hold on to them until you receive some $xx,xxx offers cause when the market turns around and businesses start openning the funds you should get that without any problems.