What if RKO still exists

if RKO still exists, it will be distributing films from The Mirisch Company, Eon Productions, Lorimar Filmed Entertainment, Orion Pictures (from 1979 to 1983), ABC Motion Pictures, Lucasfilm, ITC Entertainment, Castle Rock Entertainment, Fine Line Features, Picturehouse, Blumhouse Productions and CBS Films.