Resolved! User specific shortcut deletion.
I don't think there is a setting in EVPM to do this, but does anyone know how to do a user specific shortcut deletion or expiry? I don't want the entire site just about ten users to have their shortcuts removed.