Oh yeah, definatley. It would make sense for companies to go looking through their catalogue to see what Muppet projects they can release and make a buck off of now given their current rise in popularity, but this is just so daRn obscure by today's standards, it kinda makes you go "hm."
After all, in this thread alone, someone has already mistaken A Christmas Together for Rocky Mountain Holiday, so you can see how easy it would be to mistake John Denver: Rocky Mountain High for John Denver and the Muppets: Rocky Mountain Holiday.
I'll be holding out on a confirmation from one of the DVD news and/or pre-order sites for this one, but I do hope it's what we think it is!