My employer requires us to take courses in sexual harrassment and this guy is clearly crossing the line. If he worked for us I could get him fired easily.

What if you talk to your boss about it, not to lodge a formal complaint but to ask her what can be done about his behavior.

Also, I think there are one or two live online chats on washingtonpost.com that focus on working for the federal government. That would be an anonymous way to ask for advice specifically for your situation.