I think an interesting point here is there is no substantial difference between allocated vacation days if you work for the government or a private employer. One would think the government would set a good example.