Oh, and according to "What's In A Name?" by Cyril M. Harris, the definitive guide to the origins of station names, the name of the Elephant and Castle (the pub) does *not*, as is popularly supposed, derive from "Infanta of Castile" after a Spanish princess, but from its original proprietors - the Cutlers' Company, whose use of the Elephant as their coat-of-arms derives from the ivory used for their craft: the first recorded appearance of the Elephant-and-Castle coat-of-arms is by the Cutlers, at the marriage in 1445 of King Henry VI to Queen Margaret, who was most certainly *not* Spanish. (One presumes that the Cutlers were at the time one of the more important of the ancient trade guilds, who would appear turned out in their best livery as part of important processions and ceremonial occasions.)