It was an acquisition from EBay: it was $2.3K list when it first came out, I picked it up for $1.25K, and with a second-gen Core i7, the bespoke cards, 2x64GB RAID0 SSDs + 750GB HDD, USB 3.0, Blu-Ray/DVD-RW, Bluetooth 4.0, LED programmable color key lights, and hardware-controlled graphics...