Did anybody notice the 2nd quarterly "company contribution" into their 401K ? Add it all up, mine was about a grand.