Indeed! The only reason they're doing this is clearly that they want to sell even more IPv4 addresses. Because even with the current /9, it's more than enough to go around the campus.