People absolutely download the 1080p rips. 10GB is really not a lot with the bandwidth and storage available today in first world countries. You're certainly not getting into "videophile" territory when you can tell the difference between 720p and 1080p when viewed on a 1080p display.