现在用的小米k60，太容易卡了，在加上总用苹果carplay，想换16来着，但是16感觉更新太少了，等等17吧，我想这红米卖了换个13Pro过渡一下可以嘛，现在256的，13Pro大概多少钱呢