Hi,
If it goes for 1000 Euros so be it.
You have to remember that in the UK we pay about 30% more for our TR’s.
And on the European continent they pay 30% more than us for some reason.
I’ve seen similiar ones (without the bios problem) go for 1800 Euros.