Red Magic 10 Pro Series Launch Date Set for November 13; Red Magic 10 Pro+ Features Tipped