When he said his temp. got to 72 I'll bet that was taken at a 2 or 3 ft. depth so he probably had 65 in deeper water.
I have my temp probe in 5ft. of water so I can better judge any problems that might happen in the summer, it's never gotten above 68 probably due to the 95 gpm inflow.