Y117,
I am in big D too. I bought a silver/black 01' 430 Ultra w/61k miles 3 weeks ago and paid $22,000+TTL . The dealer was asking $27,499 and I had searched lots of places and the prices were not as friendly as you might think. Nevertheless I was happy with my deal until I found out the Laser/Radar cruise control was broken and I bought a new replacement for $1,245 and installed it myself.
I think the auction might not be as good as you think, either. Lots of time they will and know how to hide flaws of the car and there was not lots of time for you to "kick the tires" beforehand. Anyway, good luck with your search. :)