They have sadly (but probably inevitably) now done away with mandatory masking, but one of the non-tech-related measures they’ve actually kept is the timed entry thing. You don’t just buy a ticket and come whenever, you buy a ticket for a particular fifteen-minute time slot so that it’s less crowded. It's a small thing, but it also improves the experience for non-COVID-related reasons, so it's definitely worth keeping! /3