Nineteen developed parks around the shoreline provide campgrounds , boat launches , swim areas , and marinas .
Nineteen developed parks around the shoreline . These provide campgrounds , boat launches , swim areas , and marinas .