I was confused that you were referring to the codec DivX, until I looked it up and realized that there was also a “rental” concept sold by Circuit City that was also called DIVX. They sold proprietary (never a good start) disc players that played proprietary (uh oh) rental discs, and authorized purchases through a phon…