If they haven’t defaulted to giving out IPv6 addresses by now, it’s never gonna happen.

Never is long time. I bet you that they will be providing ipv6 as default in 20 years from now if they are still in business.