Nintendo Switch OLED – Mario Red Edition launching in the PH on October 6