Am I uneducated, or did Nintendo really only release a Red and a Blue 3DS XL in the US?