I know that Stern did in fact have the muppets license in the 2014 timeframe. I don’t know how long they had to use it, so it’s probably lapsed by now. My impression is that they didn’t pull the trigger on it because the remake of “The Muppets” on ABC in that timeframe flopped.