I'm glad you did those hard things to reduce your risk and that it worked. Too many people I know who are traveling without masking have the same thing as your acquaintance - covid upon return home, or while on the trip.