Thanks, BluPhenix - found it exactly where you said. And, yes, it is password protected :( Too much hassle to ring a dealer as it was only idle curiosity on my part.

I find it a bit amusing that Philips feel the need to cover the most basic of issues (how to load a config, etc) in the help material that they give their dealers.