Bay
I downloaded the Windows Media Encoder as you suggested and it will indeed enable one to edit the credits on an mpeg file. Unfortunately it seems that it is only possible to save the movie as an .mpv file. Any idea how I might keep it as an mpeg after editing?
Cheers