OK, I posted this in MouseBits, but I'll post it here to cover more ground. Is there a playlist for DisneySEA's lands? Specifically, Mediterranean Harbor and Arabian Coast? According to "Disney's PARK BGMC" some of the Arabian Coast music is from Aladdin and the King of Thieves, but I don't know about that for certain. Any help would be greatly appreciated.