Yes, I can now confirm that the Gibson Girl loop is a guy at a piano (but there's a guy with a drum and cymbal as well) playing away) and that the Gibson Girl/Cable Car playlist in the blog is the original loop. I was totally wrong about the Casey's loop being amalgamated into it. A present recording still agrees with the 1992 version of the loop. I presume the software ID was bogus (unless that was the guy hired to play, of course - it must have been a professional player)
Now, that asks the question, did Casey's ever have it's own loop or did they decide not to bother? It certainly plays the Gibson Girl loop now and for at least the last two years according to the partial live recordings we have.
I seem to recall Take me Out to the Ballgame and Casey's the pride of them all playing in the early years but was that a live band in the arcade, a speaker inside the (now removed) player piano or some other nearby source.
The only area playing Take me out to the ballgame in a loop that I am aware of is the Athletic club at WDW and Casey's Corner at WDW (I've not been there, I hasten to add so it's not a crossed memory).
Any information on Casey's at DLRP would be welcomed of course.