Texas is going to keep the largest Buc-ee’s title after all