Hi,
Well, the Solidworks Standard licence isn’t USD 4k here, I was quoted 65 000 SEK (Swedish krona) when I looked into it at the end of november. The exchange rate then put it at 7850 dollars which I rounded of to 8k dollars 
I was quite surprised as I also heard the 3995 USD figure before but, yeah, the price is higher here.