I have a DVD hard copy, but no DVD player. Anyway, I found the DVD online and downloaded it, only problem is it’s a 7GB mkv. Is there a method to shrink it down by around 6GB?