Shavings from the Bench

It may seem that Microsoft Media player won't have anything to do with .VOB files if you try and open them directly (VOB is the DVD video format). There is an amazingly simple workaround though; all you have to do is change the file extension to .MPG and the player will show them with no problem.

(If you don't understand this, it is almost certainly of no use to you.)