Best Texas road trip stop: Buc-ee's or Woody's?