RedMagic 10 Pro vs RedMagic 9S Pro: What’s the difference?