My whole music library is local and DRMless. I find CDs highly impractical in the age of cheap high-capacity storage. I would rip them anyway, as using normal copies is just far more convenient, after which they’d need to either waste space, be resold or be thrown out. If I were insistent on paying and there was no DRMless option, I’d rather buy a DRMed copy corresponding to the one I downloaded.