Vatican Necropolis age restriction

I know they say one must be at least 10 years old to visit. My daughter is turning 10 in a few months, very mature and looks older than 10. Do they check the age before letting everyone in? Will they be ok to let my 9.5 yo daughter in?