These are .ogg loading from disk using pygame.mixer.Sound('filename.ogg'),
the largest of which is 7 MB.I can't believe I overlooked pygame.mixer.music. Pardon me while I flog myself. This does exactly what I want. Thanks, Brian and Olof, for suggesting it! Works like a charm. Gumm
