Oh yes, there's a lot of songs that are published in the tutorial video format, but the MIDI source isn't shared.