That's true for government employees around here as well.
Regular employees only work a 37.5 hour work, but a usual M-F schedule is 8am - 5pm. Of that 9 hours 1.5 hours (90minutes) are for breaks and lunch. Lots of people I know work through lunch and leave early, providing they have a supervisor who is flexible.
I don't know if that is this gentleman's situation - but assuming a similar situation - the story only reported him using 69 minutes, 21 minutes less than the above exampled 90 minutes. That, possibly being the case - it doesn't appear to be stealing from the tax payers.
Government employees, smokers and non-smokers are all taxpayers as well.
THANK YOU! Another one trying to pick one with me about smokers. I know that's where this is headed! humph!
(NASCAR rained out).