想买一台小主机，选择deskmini 或者 低配笔记本 还是 itx主机 又或者iPad投屏？

使用场景：家中领导喜欢用电视机看B站、腾讯视频和爱奇艺。目前服役的是老笔记本电脑(10年买的)，随着天气变热，散热越来越不行了(开的时间长了自动关机，下面垫了散热风扇也不行)。

考虑618或者双11把老笔记本退役了。我家电视柜比较小，所以准备弄个小主机，但在新设备的选择上我开始纠结了：

1、华擎deskmini，性能真不错，看4K视频没压力，选5600G的配置整套配下来要3500多。

2、带5500U的笔记本电脑，李佳奇直播间卖的A豆，价格也是3500左右。笔记本以后还能出差使用，使用场景比迷你主机好不少。就是担心这个U以后看4K高品质片源会卡顿。

3、自己组装itx主机，傻瓜超人K29机箱+1u电源+itx主板(光这套就1000+了)，整套弄下来接近3000元。虽然只有4L左右，但相比上面2个方案是更占地了。

4、iPad投屏，iPad电池电量够3小时连续观看，睡觉的时候充电充过夜。感觉也是个不错的方案。不多有点担心6年前的三星电视不支持投屏(今晚回家试试看)。

我现在是更倾向买笔记本，不知道泥潭老哥们有何建议。