I don't recommend anything for editing MY videos, but if you mean what do I recommend for creating or editing videos in general, all I can say is that we used Camtasia 6 on those videos, and Audacity as audio editor.

Good answer about right click download of the MP4 and using VLC player. Seems to work very well. So that solves playing the movies offline.