Yep, $12k. It's my understanding they are on universal pricing, so I assume original buyers aren't getting discounted prices. I'm at $6.4k with this set and that's as low as it's going to get, but I have to arrange transport. I'm probably looking at $6.7k total, no boxes, no warranty.