> (An alternate option might be to rip the 4K BluRays, which is doable if you have the right drive, but also a bit of a pain.)

This is what I have been doing with MakeMKV.