Got 18000 NOK in tax refunds, so I can't complain. Should be somewhere around 3300 US dollars.