[huhkerrf]

This isn't entirely true. 7-11 bought and maintained the Stripes brand, but they still operate 7-11 branded stores in Texas.