Hello! Thank you very much Dorieee! No, we did not have time to create the soundtrack ourselves, although I wish we did.
Here is the Link to the Songs https://juzek.itch.io/game-boy-music-loop-pack
They are free to use for any any project, commercial or otherwise and we credited Doug T. (the Creator) in the Credits Screen!
I am sure he will be happy to hear that you enjoyed his music as much as we did!