Buc-ee's schließt Standort in Texas, um als 7-Eleven neu gebrandet zu werden.