That pretty much jives, the prices in the link I posted are after the $7,500 taxcredit.
Ah. Actually, Tesla itself seems to list a variety of prices for the same model. Seems they have been changing standard equipment and prices regularly.