Did anyone manage to spot Mi Notebook Air 12.5 at the show ? If yes, do you remember the price ? Thank you !