i vob sono normali mpg da un giga.
Quindi qualsiasi editor video che gestisce gli mpg.
Cerca con google split o cutter video e ne trovi anche di free.
Io uso MPEG2VCR v3.14 ma è a pagamento. Lo fa senza rendering in pochi istanti.