Most of you probably know that Mantis was originally going to be named Banshee. You might also know that when a newspaper printed the definition of a Banshee as "a wailing female spirit whose scream signals impending death," Cedar Point quickly re-named the coaster Mantis from a short list of backup names. Well, I want to know what else you people think was on the list of backup names, or in other words, what should they have named Mantis? You don't have to be serious; I don't care, just give me your input. Thanks.