Card printer runs again tomorrow. Custom ID prints can be preregistered at
https://docs.google.com/forms/d/e/1FAIpQLSesg4B3rO4wzD4aEIo9-yWKKq6ayIqbJYOhPG-YgkC-Zlf5LA/viewform?usp=dialog