Well apart from the UK, most of the rest of the world 2080tis are currently only £600.
I managed to nab a 3 month old one yesterday for £550. I can see the cheapest AIB's on here creeping up past that sort of price between now and release time if the 3080 release is anything to go by.