That sounds like a pain, but technology fails us sometime. The greeter should have called somebody to bring him paper refills. Good for you for not making a big deal about it.