What I ended up doing was buying the MakeMKV program. It rips the content off the BD, and plays them back on VLC in the MKV format (which is cool, because the format can retain subtitles and alternate audio tracks, if you’re into that sort of thing).