Ok thanks! I also checked flightstats on the MSQ-VIE flight, it seems it does arrive early fairly often.. yet says the avg delay is 13 mins..
If I did miss the flight, there's routings available via CDG or LHR; no other flights/routings via FRA would get me back to Waco on the same day.