Ping.
I thought there was a poll that showed 25% of Federal Workers would quit if Trump won.
This would be a good time for them to quit.