Ah, zo. Daar heb ik niet specifiek op gelet. Maar hij ging er niet heel soepel in- en uit, dus er zat niet extreem veel speling in denk ik.
Waarschijnlijk is vervangen de betere oplossing, maar er zitten meer verbouwingen aan te komen waarbij de hele deur waarschijnlijk vervangen wordt want rond het slot is de deur behoorlijk slecht. Dus als hij nu recht hangt en dat nog een jaartje blijft doen ben ik helemaal tevreden.