How does collecting a retirement you worked for and earned and then working a job after retirement double dipping?  
There are hundreds, if not thousands of ex-educators who are retired and working after retirement. Substituting, work leisure jobs at hotels, etc.  Once you retired, you can not supplement your retirement by working again?  I'm an educator and when I retire I plan on collecting my retirement from teaching in California for 20+ years, a retirement from teaching in Hawaii, my 403k, social security (if anything is left) and work a part time job.  Am I not allowed to do that?
Mr. Galera is a knowledgeable educator and obviously has a lot of energy. God bless him if he wants to lead the DOE and clean it up.