[Kenny Pitt]
> ...
> Is there an existing win32all function to play an arbitrary sound
> file? If there is, I'd be glad to start looking into implementing
> this.
It's available from base Python; see PlaySound() at
http://www.python.org/doc/current/lib/module-winsound.html
and you want (at least) the SND_FILENAME flag.