Thinking of switching from pixel to galaxy for HDMI out. Anyone have thoughts?