I'm sure they will be, but they did everything by hand if memory serves me right so they will have to manually type them out.
On a side note, I was in my pickup leaving after the last match & a shower at 6:30pm, wrestling was over at probably 5:30? what time did the last match get over with in Wichita?
It was a great tournament from a Ref's point of view, everything flowed smoothly and no major incidents. Look forward to next year