They should have let some people off for his funeral since he worked with you all. I can see them not shutting the place down for his funeral, but letting some off for a couple of hours wouldn't have hurt anyone.

I am not a funeral person either. But to pay your last respects is a very descent thing to do.