Midi files may be a good idea.. but are there any publicly available midi players for Unix machines. I'm not sure how many eople are using /dev/audio but untill a midi player becomes available, that sound option is pretty much ruled out. J. McElroy mcelrj@rpi.edu