Is the infirmary staffed?