Would it be a good idea to send an email? Not only to her, but also to somehow have employee relations know about it.