redmagic 11 is almost 1000 usd cheaper than the s25.