Sorry to hear about the coworker. I don't know how healthcare works but it would probably be a bit hard to give all of you time off but I guess if any of you needed it you could take some later?

Take it easy anyway even if you aren't immediately affected just in case the hitting different hits you unexpectedly down the line.