Visiting MAR Monday, June 12

I have a business trip to Colorado Springs that week and will be flying in to Denver. I plan to head to MAR for the afternoon to hopefully do some trail hiking and generally decompress after a cross country flight before driving down to Colorado Springs. I did a similar trip several years ago and remember it wasn't that busy on a Monday afternoon and since there were thunderstorm warnings I never ended up hiking that trip. Anyone going to be at MAR on 6/12/23?