Prices have come down here, they are "only" 1059 eur or 1282 usd. Still too much though to even consider, but feels like we are at the end of this cryptomining boom, cards are in stock again and prices have started to drop just a tiny bit. Perhaps at the end of summer we are looking at sane prices. Just hoping though. lol.