That sounds like an example of the increasingly common 'rag & tag' service engineer where nothing is inspected or tested and you are lucky if they even change the pull tag.
If they remove the horn (which they ideally should to check for blockage & to weigh if the marked commissioning weight is without horn) then they should (although it's not shall in the standard) change the washer.