Previously, there was a 30 minute gap between the time a patron changed their PIN number and when the change was updated on EZproxy. The time gap is now 15 minutes. So, the MOST a patron will need to wait after changing their PIN until they can use, say, our old friend GMID is 15 minutes.