I'm wondering the same. I'm an hour or so away. Just called a bait shop in Knoxville - FWIW - He said some guys were in that had fished Roberts Creek yesterday. Caught mostly small crappies. Sounded like lake had 6 -7 inches of ice. Some slushing in areas. He has had no reports from Red Rock. Be careful.