well for me, no, it's not hard to do it myself, just pop vid in VLC and set it to output an h.264 mp4 file, but the thing is, my computer SUCKS! so it's LONG!
Files pre encoded in h.264 @ 480x272 would be perfect to have enough detail (given enough bitrate, that GT4 vid was kinda blocky-ish, maybe because it was an encode of an encode...) and not make my machine chug.