No, seriously, I forget. I know whatever it was, it blew out (and then AJ replaced it, only for that to blow out within a week). I was wondering if I could find a soundfont meant to emulate it and try rendering vaguely-official-sounding tunes with it...