Availability can be checked and reservations can be made at www.reserveamerica.com
There was a lot of tent sites, at least half empty.
you will need to go on to the reservation website https://evrpd.colorado.gov/marys-lake-campground to find out for the specific dates you are looking for.
Thanks! Your answer is awaiting moderation.