You are right. Yep, this is my page o' midi sound files. I've simply collected these from around the Web and put some of the best ones here. You can download them either individually or in a zip file - chillymidis1.zip (173k, 26 midi's). I even have five Star Wars midi's!!!