It's a shame about HRs decision. But it sounds like you work with a good group of people, so there is that. Hopefully someday the HR dept. will come around.