called “official time” is a tool which the unions use to allow federal employees who receive full salaries on the taxpayer dime to spend 100% of their time on the job doing nothing but union business.