merry christmas

i'd say that $5,000 is a nice little xmas bonus.  not sure i'd want money going into a 401(K) right now as things are volatile; however, still very cool.  gotta love employers who give back to their employees.