How big are alligator dens?

Usually the dens are as big as the alligator is. You got a 10 ft alligator the den would roughly be 10 ft deep and maybe 5 ft wide