You land at 12:40 PM and need to be in Waco by 4 PM. That gives you about 1.5–2 hours to grab lunch and see a bit of Austin. Here are friendly options for your group!
These are bonus stops — no pressure to fit them in, just handy to have if you find yourself with spare time!