Except for the Orange County permit docs:
"Drains & vents for basement and ride car pits and maintenance pit."
Plus huge garage door sized holes in both the basement pits that have been created:
No need for huge doors in the elevator pits unless you need to move something big through them.