The process for changing the PIN of admin smart cards is described in Changing an Admin Smart Card PIN.