准备 618 买笔记本电脑，几种方案应该选择哪个

准备买一个笔记本在单位用，预算 7k 。几乎没有移动需求，工位长期 24 小时开机使用，家里远程。没定居，笔记本方便携带，不考虑台式机。
单位的台式机，10 代 i5,32+256SATA 固态、1T 机械 ，卡顿严重。

目前：手里有一个联想 Y9000P2022 笔记本，12700H+3060 ，两根 32G 三星的内存条，512G+2T 三星固态。空闲一个 1T 的三星固态。家里一个 15.6 寸便携屏，一个红米 4k 屏。
手持小米 14 手机，没有平板电脑

方案 1：ThinkBook14+2025,32+1T,国补后 6300，扩展空闲的 1T 固态
方案 2：RedmiBookPro14,32+1T ，国补后 5500 ，但是硬盘长度 2242 ，不能扩展空闲的硬盘，但是可以和手机联动，多的预算还可以买小米平板 7 。
方案 3：联想笔记本在单位使用，MacBookAirM4 ，16+512 在家里用，国补后 7199 。
方案 4：联想笔记本在单位使用，二手 MacBookProM3,16+512,二手平台 8200
方案 5：mini 主机，32+1T ，预算 4k

JAVA 开发，前后端都开发，服务需要使用大量压缩包文件，硬盘需要大，外接鼠标键盘使用。
没接触过苹果系统，同事不推荐 Air ，屏幕刷新率不高，音响也不如 pro ，接口也不丰富，就需要带扩展坞。

目前准备方案 1 ，联想笔记本留家里打游戏可以用，后续可能卖了联想笔记本，升级 50 系游戏本或者如果后续推出的高刷的 air 。

单位几乎全员 Windows ，偶尔几个领导和产品经理，ios 开发使用 Mac 。