I admit, I thought they'd been uploaded before too, and that I'll get links to them (I used old files I got from poolswimmer 2 months ago), but no. Apparently we all thought these are so good, and old, that someone just had to upload them in the past, but noone had actually bothered to do it.