Redmi Buds 3 Pro. Promo del 11.11

¿A alguien le salen los Redmi Buds 3 Pro a 19,94€ en la tienda oficial de Xiaomi España en AliExpress?

En la foto se muestra que el precio final es de 19,94€ pero cuando voy a comprar o añado en la cesta el precio es de 36,39€.

¿Hay que añadir un código promocional o algo?