Does anybody know a free DVD encoder for one or more of Windows Media Player Real Player Quicktime.