Huh?
Click on the name of the sound file you're interested in > a new page opens > the sound plays & shows a choice of two files (wav or mp3) > click on the one you want to download
Anyway, it doesn't matter where you get the sound file from, the main point is knowing what the sound parameters need to be to work on your TT as described in the first link from TT
So once you've got the file you want, you'll probably need to re-encode to the TT specs so it'll work...it's pretty easy mate