Out of curiosity, with COVID I imagine people are WFH more and there's a tendency for that to continue. Did you think about buying a desktop instead? Usually is much better value for the money and Linux is likely to run without issues too.