I don't believe that he will be able to double dip. In Hawaii if one is retired from the goverment state or county and goes back to work at a full time goverment position. Their monthly pension payments will stop and they will only receive their monthly salary. When they retire for the second time then their pension amount will be recalculated to include a percentage of the salary of their second job. Unless the law has changed since I retired in 2010 I believe that I am correct.