You pretty much download your own .mp3 file than once you have done tsl patcher, rename the .mp3 file you downloaded into the one instructed... its in the READ ME file and the TSL Patcher clearly tells you what to do
There aren't included because porting is not allowed. You have to download the desired MP3 on your own, rename it properly as mentioned in the readme and drop it to TSLPatcher directory. The point mentioning them was to suggest people the custom track they want, but they don't necessarily have to be those ones.
Oh, a porting loop hole. Sounds fun i might try it sometime in the future