And those are just the US-specific colors. The Japanese Domestic Market (or JDM for short) has a whole palette of colors available!