Hey, nice speedrun! The first official world record haha. All of the songs are remixes I made using some midi files I found online, you can grab them here - https://drive.google.com/file/d/1P1R1zR2r7l5PQ1WdSf4cIL8mKcb0J8Pe/view?usp=shari.... Thanks for making a video!