The red case they have there is the after market, none-OEM version. You can tell by the chrome buttons, they should be red.
Those cases are rubbish. They are a poor fit and will crack at the corners after a few days.
I can buy an original from the xiaomi website and I could sell it to you...