That was what I considered as a possibility: Just using javascript to start playing an entirely new video in the midst of the currently playing one. I didn't consider the serverside option.

I hope it all works out. I was just worried this would hinder the migration to html5 video.