Elf Jr, The Musical