The IP ranges are network exclusive and will remain so until the AS merge is completed. Chances are they'll stay that way for the foreseeable future. Things would go very wrong right now if they started mixing the prefixes up and it'd complicate routing in the future if they started mixing them as the network would have to carry more prefixes rather than the /12 and down supernets that some IP ranges can be broken into right now. To start taking the /12s and allocating them between networks at the moment would be very silly and bad network design.
buffalo, could you try tapping your IP address into
www.ripe.net and see what it says?