After several attempts, I finally got through to someone at Sony.

I was told to reset the player, by pressing Stop and Power (on the unit)
simultaneously for 10 seconds. Lo and behold, the movie then played.

I was also told this would reset the player to factory defaults, but it
didn't. Everything was as I had left it.

So... Sometimes Dogbert /is/ correct...