If they use it, I hope it's reorchestrated. The old timey original recordings were, IMO, awful with 1950s style close-harmony advertising jingle sound with a heap of musical gimmicks.Which Version of "Fun to Be Free" are people citing as the one that they want. As someone who never went when WoM was around. Is it the Jazz Cool Version, Charleston version? What is going to hit the biggest nostalgia if they include it?
Modern Disney has mostly done a great job with orchestrating music (the Princess and Frog hot-mess during Harmonious being the big exception). So, it's possible for it to turn out really good if they get the right people on it.