Tried a fresh installation of Windows 11 25H2 Education. Installed fine. Got to final configuration. Mouse does not work, OS very slow and clunky. Eventually it did the updates. Mouse does not work, tab key sometimes registers. Overall a failure.
I have reverted to Windows 10 which appears a lot smoother. These things are only loaned out to students for use at home when they do not have their own device. Therefore Windows 10 should not be a problem. Not worth wasting a lot of time sorting out the issues.