I currently use a google chromebook and connect it to my tv via HDMI. I am wondering if anyone has experience using a raspberry PI? It's pretty cheap and small enough to leave sitting on my TV stand all the time. I want to hear if anyone is doing this and if it works seamlessly. Thanks.