slight variation for me: downloaded midis because it was quicker on the 28.8k
But have you ever tried to find free software to convert ABC to midi?
Hm. I played 78's, 45's and 33's on the record player. But maybe that doesn't count, as those were so very not portable.
From BBSes or from the WWW?