While I was curios to hear a butchered version of the music, what is the point of reducing 16-bit music to 8-bit?
16-bit is better quality 8-bit in my opinion, it is still midi.
When I hear popular themes converted to 8-bit I always wish they were 16 bit instead.