My school currently has a bit over 1000 convertible Lenovo laptops running Windows 11 all of which have horrid specs, horrid performance, and cost the district around $400-500 a pop. 4GB RAM, Pentium Silver, 128GB EMMC. The teachers got Surface Book Go's with a Pentium Gold, 8GB RAM, 128GB SSD. My school is one of 250 in the district, every single one of which got the same setup. None of them are great in any way. I would hope that IT downtown is looking hard at a new cheap metal laptop that won't fall to pieces like these little plastic Lenovos do, with far better specs than they have, and for around the same price as them.
Please stop saying "No schools use Windows any more". I work in one of the largest school districts in the US, and we are 100% Windows with a few islands of Macs around. We experimented with Chromebooks briefly during COVID and luckily realized they were trash and dumped them after a year or so.