No, it's happened. You basically can't buy IPv4 addresses any more. Want to start up a hosting company or ISP? Better hope you know someone willing to sell, or you're going to be paying through the nose to a broker.