Here’s what happened to the double-decker San Antonio tour buses