I'm not sure what the big deal is John, but that player could have actually played another 9 holes with 75 minutes in total. Many players can finish a 9 hole round in 10 to 12 minutes.
Conservatively
speaking, I'll give that player 12 minutes per 9 hole round x 5 rounds =
60 minutes. That leaves enough time to play another 9 hole round with
minutes to spare.
Sour grapes? I think so John.
If you turn this player in, WGT will do nothing about it. I suggest you not waste your time, or WGT's time.
I do however appreciate your diligence.