Hello, after looking through the file that AndrewHurley gave me the settings needed are:
.mp4 file format
Video:
MPEG-4 Video Codec,
60 fps,
1920x1080 Resolution
Audio:
.mp3 Audio Codec,
Bitrate: 128 kb/s,
2 Channels,
Sample Rate 44100
Hope that works. It should be all able to be done in VLC Media Player.