I didn't think about archive.org, but yes the player there does work well; and you are right about the availability of different file types.  Thanks!