Mickey Mouse

Mickey Mouse was the name of a popular American cartoon character.

Behind the scenes

 * In an interview that can be found as an extra for The Three Doctors DVD, the writers wanted to name K9 "Pluto" after Mickey's famous pet sidekick, but Disney did not grant permission.