[gpm]

That's > 2% of this years work weeks now as an extra paid holiday, that's a pretty big random bonus in my mind.