The RedMagic 8 Pro may be the hottest offering from Xiaomi's Nubia brand, but last fall's RedMagic 7S Pro still packs quite a punch and is available for $650 these days. A physical interior fan helps keeps things cool, even if it adds a bit…