I’ve been in quite a few caves; Mammoth Cave is HUGE. There are rooms as large as the Metrodome. When you visit, there are several distinct entry points and tours with various levels of access. Experienced cavers should go for the most challenging, I think. Better yet, hook up with a local spelunking group ahead of time and you can explore parts that are not open to the public through the National Park Service.