No it's not over yet, but I make periodic updates throughout the event while things are fresh in memory.
I have updated our itinerary with the actual times from the start of the Fest on Saturday, 7/15 through Dallas Day 1 on Tuesday, 7/18.
Thanks to Steve for helping out with the information from Saturday & Sunday, for which I was unable to be there.