Is anybody using another type of video player for their Edge to play .mp4 videos? Are there any players which play more video types?

Thanks.

Paul