Does anybody remember the Hardee's Mickey's Christmas Carol plush set from 1987?

[DodgerGirl]

I was looking at commercials and discovered that in the 80's Hardee's released a holiday promotion of plush Mickey's Christmas Carol characters and I would like to know if anyone remembers this plush set? Was this the only Disney promotion Hardee's did?