Agreed, I don't have first-hand experience with Pi's, but I have seen reports that they struggle with 4K playback, even at 30fps. An advantage of the Pi however is that it supports HDMI-CEC.