There are also devices on eBay which record to a usb device and handle HDCP. Works great for archiving content from streaming services using a Roku. Not quite as cheap as this though, I think I paid $40 from a US seller.
usb 2.0, 14Mbit mjpeg, not exactly broadcast quality. Almost makes you say not to argue due to $11 price point, except there are some USB 3.0 dongles promising "1080P 60fps Recording" starting at $16.
