Fun fact: he’s sometimes named Toadimus Toadster or something equally ridiculous, but at the time of that movie, his real name was Mortimer Toynbee, which is how I picked this username. Most people who have any guesses at all think it’s from the toynbee tiles, which are cool but which I hadn’t heard of (and maybe weren’t a thing) when picking this name.