If the World Trade Center attacks had occurred on July 11th, 7Eleven would probably have had to change its name.