As someone who's wrangled IT in college libraries before, that's slightly unfair - they do have a Kensington lock for the keyboard.
It's locking up the rest of the cables that'll be the issue, as well as a preference for ethernet. Mice and ethernet cables were stolen the most... inevitably the mice ending making cheapo Chromebooks less miserable, and the ethernet cables ended up at LAN parties.
The users we trusted got laptops anyway.