redmagic使ったことあるけどローカライズ含めたが微妙だったからastraはない
今は違ってくるのかもしれないが
lenovoは使ったことないけどxiaomiはPad5持っててredmagicよりは悪いと思ってないから3つから選ぶならっぱシャオミよ