I could be wrong, too. I've played that game, but I don't own it. But most video game tunes (except in situations like RPG FMVs) are MIDIs due to the need to seamlessly loop (plus, they take up less space). But, what can I say? Sound processors on consoles nowadays are so advanced that I occasionally have trouble telling the difference.