Let's say 3D Realms decided to sell the Duke Nukem IP in 2002, and Rockstar Games bought it. What happens?