If only it were July....

Lake level today is at 776.33 - the DNR Summer max.

Too bad it's December and not July.