What happens if you lose your COVID vaccine record card? CDC offers other options