Yes, yes, the internet downloaded Divx films escaped my consciousness! So, sorry.
True that most commercially published (re: official) media can be found on auction websites. In the "trading" option, I was referring to what can be called "pirated" movies that are "homemade" from broadcast sources or early media-type transfers (16mm, or Kinescope shot of a TV during the original broadcast.)