[heywire]

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.