How big exactly is Cave Run Lake? This article says 7390 acres but the article on the lake itself says 8270 acres. Which is it?