REDMI K80 系列还准备了10万份“REDMI好运球”，发布会当天会在小米