Yes there is. According to the bios on the website for the creative team, they list the bios for the person doing musical arrangements, as well as orchestrations as well as music director. So yes, I don't think that they would have those members of the creative team if the show's music was done by someone in the booth pushing the play button. Wow, that is some of the most illogical and faulty reasoning I have ever seen on this site (and that is saying a lot). Even if the music WAS all pre-recorded and played by someone on the sound board, a musical arranger and an orchestrator would have to have been involved in creating the tapes. Unless someone went out and purchased the karaoke tracks of the original pop versions of the songs, but that's just as moronic, because that would assume that the actors are all singing the songs EXACTLY as the originals, with no key changes, cuts, tempo changes, etc. Not to mention the extra, unnecessary rights payments to the artists and/or studios of those recordings.
To the OP, all Broadway theaters have a minimum orchestra size required by the musician's union. Only in rare, special cases are shows allowed to hire less (and those have to be petitioned and approved by a committee). I am fairly confident in saying that the union would NEVER approve pre-recorded music in a Broadway musical.
Nothing matters but knowing nothing matters. ~ Wicked
Everything in life is only for now. ~ Avenue Q
There is no future, there is no past. I live this moment as my last. ~ Rent
"He's a tramp, but I love him."