Дампов нету. Возможно есть формат для хранения регистров, но я такого не знаю. Если нагуглишь - поделись. )
Штука в том что у них далеко не все треки укладывают в рамки кадровых прерываний и тут уже нужен формат с таймингами, типа спектрумовского OUT.