买小米还是红米还是买红米游戏本，平时用来简单办公，看看视频，偶尔玩剪辑一下视频，用的是小米手机，传送文件挺方便的，有推荐的吗？