texts: domain: movie tickets  <s> No problem. It looks like there is a shoring for Captain Marvel at 1:30 and it is only 15 minutes away from the Barton Creek theater. I checked their map and they have tickets available.
labels: Great, which theater is it?