The wikipedia article on the Chicxhulub crater states that the name means "Tail of the Devil" in Yucatec. I am slightly sceptic of that translation as it is not sourced to anyone with any knowledge of Mayan. Could anyone enlight me on a plausible meaning? Magnus - Denmark