Re: dumb question: are any of the RIR's out of IPv4 addresses?