MakeMKV is the way to go. If you have enough space, just rip the streams as direct copy without re-encoding. This way you can encode later if needed with the best codec available at that time.