Comment by johnnyanmac

>which probably will be rude

as long as the text isn't at risk of being written up by HR, I don't particularly care about the tone of the message.