Thanks for the share op.
On aliexpress at the Goldway store, we can purchase a Redmi k20 pro smartphone for about 1600 PLN, it's a version with Chinese Roma and blue color, but when the official European Rom comes in you only need to upload the Eu version, you can also buy the EU version for about $ 20 more.
The price in dollars is around $ 420 after using the $ 2 seller coupon from $ 200. DHL shipping without Vatu.
This is the 6/64 version.
The specification is available here:
https://www.pepper.pl/visit/threaddesc/164928/223520
Seems a good deal thanks for sharing it with us, anyway as far as i know there's no EU version for the K20 pro yet, there is for standard K20 only (Mi 9T).
Make sure to check the bands before you buy it, the K20 Pro misses some essential bands for EU/US