TCU tickets???

[TexasCowPoke]

Want to take the Grandson (OSU bound in 2 years) to the TCU game. They are playing at a jr college/HS ? stadium in SE Ft Worth called Wilkerson Greines Activity Center. Anyone know of the ticket situation there? Can I pick some up outside or at a ticket window? Very little is showing up online.
Thanks for any info! Hope to see some Orange there!
tcp