I am twice vaccinated and double boosted, yet got COVID anyway (at home). My primary care physician ordered Paxlovid, but there were many considerations to be made (including current prescriptions as well as kidney functioning). It would surprise me if ship’s physicians prescribed this drug routinely, I would not count on it.