Thanks Peter. As a newbie I am constantly rebooting at the moment and was getting a little disappointed at the "break" in audio in the startup movie.

I hope all fixes are going to be this easy ;-)