Sorry, but I'm on the side of the YABU crowd on this one. I am autistic myself, so is my eldest teen (16) and it looks like my youngest has ADHD/ ASD, too.
I fully understand the need to decompress. I fully understand social exhaustion. Time alone in their room for most of the holiday really isn't the issue. My eldest teen spends most of their day there.
I do not agree with using only screens as a solution to the need for decompression and escapism, though, especially while their brains go through such a crucial developmental stage. It's an easy one, granted, but it will cause far more damage in the long run than it will help in the here and now. TikTok in particular is damaging; not just the content, but also in the way it is designed to be addictive.
You are the parent and your children need to learn healthy ways to self-regulate. Gaming can be one way, but it certainly shouldn't be the only way or you'll still have an adult unable to look after themselves. I'm seeing this more and more as part of my job, and also in my wider gaming circle.
Thus, exposure to other ways to self-regulate are essential. I have a total of two big-ish things planned this holiday: one is a skating event and one is a local museum. One of my children (the ADHD/ ASD one) attends a few morning sessions of a sport they have learned to enjoy at school, while my eldest spends time in their room painting.
They have some gaming time, some retro-gaming battles with me (the old style that requires patience and doesn't come with instant gratification), we play a few board games, the one who has a keen interest in Science does a few home experiments with me, we do some gardening and once in a while they help me make food. They read and the youngest gets time to endlessly sort and obsess over their battle cards they collect. The eldest and I watch a show in the evenings.
So plenty of screen time, but also enforced time away. Still lots of alone time and decompression time, but also family-based activities and very limited exposure to new things. A little bit of stepping out of their (our) comfort zones, so that they can experience achievements outside of gaming.