Have you checked if he’s actually muted? I often double-check by opening his profile and seeing if I can still view his posts or not.
Yes, I'm sure, I have two agents who are talking in the comments of one of my posts, flooding my notifications. I'm sure I've muted them.