The Mouse Olympics that take place in some shelters on some nights, especially beginning at dusk, can be Better Than Television. Just watch the daring young creature on the flying trapeze swing from food bag to food bag…then land squarely on your beard in time to pick out the remaining crumbs from dinnertime!
Some shelters are worse than others, and in jurisdictions like Shenandoah National Park or the Smokies we volunteer shelter maintainers are PROHIBITED from doing anything lethal with them. Of course hikers themselves do not always adhere to such edicts.
Best bet is to use nearby tenting areas (most shelters have 'em) but take advantage of the other shelter amenities (privy, picnic table, spring, bear pole/cable if any, enjoy the comraderie of other hikers, etc.). Mice can certainly climb in–or chew their way in–to your tent but they seem to be focused on the shelter buffet which is never ending at this time of year.
Also, camping NEAR a shelter can make setting up or taking down a tent in the rain easier as you can use the shelter’s cover to keep most of your gear dry while setting up/taking down.
And agreed, for light sleepers various bodily noises, tossing/turning, and endless calls of nature from other hikers in the shelter will keep you awake more than the mice will.
Skyline