Then someone else would reply that it was actually because Government workers traditionally finished their work day at 4:51pm.