Nintendo Switch OLED Mario Red Edition to Launch in October