@Cruiseswithfamilyornot, 4/13 here now. Two of us did get covid in May (and were masked/boosted then, life just happens sometimes) and are still fine now so we're hopeful that the recent bout plus our second boosters each help. So far no one is ill enough to need hospitalization, I'm so sorry for your group member.