They did come out but not until 8:30 pm when a generous nurse found time near the end of her shift.
peemee.10centuries.org.
Searching
