I'm not sure how you got $11K with that config, but I'm curious if you tried to configure similar at Dell or HP. In the past, if you got into the workstation territory, the 3 companies were pretty equivalent--except maybe in the cost of RAM. Maybe.
It was back in June. I just tried a similar config now, 4 months later, and the machine runs about $6400. That's also with SATA instead of the faster SAS drives.