Link #1 is most definitely an NSF already (sounds like two 2a03's are playing at the same time in some places), and judging from the title of the video I wouldn't be surprised if they used ppMCK to make it. :p
I strongly doubt the NSF/MML files were released into the public though.
A cover would be feasible but would take heaps of time to complete.
EDIT: lawl, turns out ymck means yellow, magenta, cyan and black. relation with ppmck is therefore probably coincidental. Still, after reading about the band, this is definitely NSF music they're making.
)