I'm not very knowledgeable in 80's and 90's library, but speaking as a former die hard wrestling fan (from WWF 80's era), I can tell you that back then a lot of the music used was commercially released stuff and not library music. That may be the case with these. They could also be some long lost US library too (there were plenty), which may be why you're having issues online finding the stuff. That's a few suggestions.