A quiet ban prevents a specific person from talking in the channel.
ALL bans prevent the banned person from talking or changing nicks.
So what I'm looking for is a something that can do a quiet ban (no kick) for 5 minutes.
/ban -u300 <nick|mask> type
IOW, /ban -u300 hisnick 3
(For types, see the help file entry for $mask
300 is 300 seconds, or 5 minutes)