I feel his pain.Here the cheapest 3080 cost around 1300usd the 3090 on the other hand are over 2000 usd..holy crap, 10K NOK is about $1150 USD.
That's ridiculous.
And yeah, if you have that case, you should be fine on size so get the one with the better cooling and quieter operation if they are the same price.