Better figure out how to daisy chain PSUs in that case.
It's looking more and more like a £1200 RRP for 5080 is probable. It's also sounding like it will be -10-15% 4090 performance (with less VRAM). An anemic flagship card designed to reduce production and component costs to the utmost while "encouraging" buyers to upgrade to the mid-cycle refresh. "4080 12GB", second attempt.
Edit: Just noticed TPU's spec pages have been updated with prices. Take this for what it's worth, but they're usually right on the mark:
5090 - $2500
5080 - $1300
Jan 6... The day PC gaming died for enthusiasts.