They have/had huge collections of physical manuals too. That brings back memories around the turn of the century when I was in the "bookz" scene, going to the libraries with others and maxing out our library cards to bring home dozens of them for "scanparties". There were huge torrents of car manuals created as a result, and I suspect at least some of our efforts have been preserved in the "pirate libraries" today.