No, there are 4 additional video's.
sergey_car_bj.webm is present in movies folder.
And the explanation for those 4 video's is Deepsleep switched video-plugin for that release and that plugin used a bunch of images in quick succession so you could also have dialog during the video's. It gave me some issues to do the porting so he included the video's in the next release for me but I had already started using the images so my version does not port those video's over because they are not used in the code.
You can find the same 4 video's in code format in the animations.rpy file