Disc golf discovery in Texas

I was shooting some video for my local Round Rock TX tourism organization when I discovered that one of our parks (just a few miles down the road from my house) has a world-class professional disc golf course.