The original Nintendo 64 is gray. Along with Donky Kong 64 they released a green one, and later the Funtastic Series included this "Fire Orange" set-up (along with other cool colors like Watermelon Red and Ice Blue). Photo from wikipedia.
In Mario Kart 64 various Mario Bros. heroes race each other.
We would like to thank Adriaan van Roeden for lending us the N64 on show in the Arcade exhibition.