Medan vi väntar på att förstå om det senaste Redmi-flaggskeppet, eller Redmi Note 7 Pro, kommer att släppas på den globala marknaden och på ...