I am not sure on those.
I know the WWF was using quite a few libraries by that time such as Extreme Music, VideoHelper, Chappell, Magazine Records, FirstCom, Metro Music, MusicHouse, Manhattan, AirCraft, Network Music and few more.
Out of those I would lean more towards Chappell and maybe Magazine