And many didn't.

Funny thing, superstition.

Of course, everything reverts to probability in the end. Don't worry Keith, I doubt anybody took your post seriously. Why start now me old duck?

If it is found, it could be called all sorts of things. Planet MGM Lion has the advantage of antiquity and most of the world being oblivious to its existence I suppose.