In practice, I imagine they'd outsource the internet connectivity bit to cellular carriers (as is the case for OnStar and similar at the moment) and those companies would be the ones to worry about provisioning IP addresses.
I would agree, and say that universities with an entire /8 probably shouldn't have them anymore either. That's a case where it definitely made sense early on, but stopped making sense quite a while ago.