Compare the price of the Redmi Note 17 128GB across 1 European shop. Cheapest: alternate ES at €215.90.