For students at California’s Cerritos College, getting an ID card has been a hassle lately. That’s because the campus card office depleted its cardstock, and with no reserve inventory, has seen issuance grind to a halt.

According to student publication Talon Marks, the issue is expected to be fixed shortly, with an order for 3,000 cards placed with express shipping to the college. The college’s Interim Dean of Student Services says that the emergency order of ID cards will be on campus as early as September 26.

Nevertheless, Cerritos College President, Saul Lopez was surprised by the situation. “From my knowledge, the IDs ran out, that’s the bottom line,” Lopez told Talon Marks.

Lopez also acknowledged the need for the college to quickly address the problem. “There’s always a sense of urgency when it comes to student services not being available because we are all students and we pay student service fees, so there should be a sense of urgency.”

The college’s card office refused to comment on the reason for running out of IDs, but despite the headache, there may be a silver lining to the depleted cardstock. Cerritos ID cards are optional, so if nothing else students see value in having one.

“Before we ran into a problem where people weren’t getting their IDs. It’s a mixed bag,” Lopez said. “It could mean people are getting their IDs, or someone dropped the ball.”

If ever there were a lesson to be learned; make sure you have extra cardstock. But just in case, here’s a helpful rundown of what to consider when it comes time to replenish consumables.