求助要给爸爸换个3000以内的终端机可以买K80吗

rt，本来lz考虑的是一加ace5但是我们这边用不了政府补贴，现在在想是买nova13还是说买K80，听网上的评价K80挺不错的，但是对小米有一些刻板印象，有没有懂行的大佬推荐一下的。