החלפת צילינדר, החלפת מנעול