I want to make available audio instructions for safely operating a poolside umbrella. I would prefer to stream the content rather than go the file download route. However, if I can't find an opensource php streaming application, what is the best format for a file download - mp3 or other?