Yep - just about 37% less than the sticker price. I wouldn't pay either price, but I rather have it for $12,500 than $20,000, no doubt.

Just makes you wonder what their profit margins are on those. - PURE MARKETING GENIUS!