When using the immediate redirection coaching technique, should you give feedback to your co-worker out loud for others to overhear?

a) Yes, always
b) No, never