Does anyone have any experience with playing .midi files through midi->wav conversion or the like on the iPhone?