On the recordJuly 15, 2013
There is this thing called official time, and this is a practice where employees are being paid by us as taxpayers, government salaries funded entirely by taxpayers, to perform work that is totally unrelated to their governmental duties.
Source
congress.gov




