Thanks for my morning smile :)

+1 for MakeMKV. It appears to me to do zero transcoding, unlike some other ripping tools. This makes it relatively fast, and you get quality identical to the original source.