Woo! Finally something that made me comment on HN after years of lurking. I invest in domains and spend way too much time looking at them. Is the domain a common dictionary word? Very few names sell for 7 figures. As an example cowboy.com recently sold for $70k and panda.com reportedly sold for mid six figures... Even if the media company bas a trademark they can't just take it for nothing, they'd need to file a UDRP which costs a few thousand dollars.
Some brokers that would be worth reaching out to if the name really is top quality:
https://www.mediaoptions.com/ https://www.bqdn.com/ https://evergreen.com/ https://www.linkedin.com/in/devanson https://www.buckleymedia.com/
All of them are well respected in the industry and have experience selling names at the highest level.
Some good resources for info
domainsherpa.com domainnamewire.com namepros.com
Feel free to PM me if you have any questions