First I made a
list of URLs of the sound files. Then I downloaded them all with wget.
Unfortunately all the other piano sounds no longer work because they were hosted in Dropbox public folder but they killed it. Whoever owns the account with the sounds needs to re-host them.
Yeah I should've downloaded them when I could :\