I heard while I was out this weekend that they were considering taking the Jenkins Shelter down sometime this year because of overuse, presumably by locals. Has anyone heard more 'bout this, is it rumor or true? Are they replacing it with another shelter anywhere else?