At the moment we do not have a way to automatically check if they are no longer a patron and remove their access, but we can manually revoke keys for you.
Alright, thanks for the info!