MIT gave up half of 18/8 earlier this year, mostly to Amazon - https://www.networkworld.com/article/3191503/internet/mit-se...

They've internally started rolling out IPv4 NAT and IPv6