I was thinking it would be something along the lines of MessageMentions#members.has('UserID'), is this correct?