5 ms·

Were they not acquired by SiriusXM a few years ago? Which would mean that they weren’t doing too well anyway.