I am somewhat new to Kodi and we just bought a beautiful new Samsung HDTV... I have a tuner box for my satellite TV, and I want to use Kodi too, but I also want to record, and somehow, I want to avoid getting a TV tuner and setting up a Windows/Linux box too ... I am not new to Linux, and I see...