DS is booked to travel by Eurostar to Germany on Sunday for a one week educational course. His Scottish vaccine certificate hasn't arrived yet unfortunately. Does anyone know if he'll be allowed to travel by showing his vaccination details on the NHS website?