Were they not acquired by SiriusXM a few years ago?

Which would mean that they weren’t doing too well anyway.