Yeah, there's a ceremony where the manager puts a piece of paper with their username in a goblet and drops in a match, and then the non-managers all collectively intone "gone. gone. gone." and turn their backs. It's kind of sad, but the manager is allowed to keep their ceremonial robe as a memento, and there's usually a box of free cookies, so /shrug