Laptop Advice for EECS

Hello,

Im looking to get a laptop for college as an incoming freshman majoring in Electrical Engineering and Computer Science. I was originally thinking of spending around $900-$1000 on a nice working ThinkPad T14 Gen 5 but it came to my realization that I own a desktop computer so should i really aim for such a powerful laptop? Or should i just buy a $600-700 ThinkPad Gen 3 for just regular schoolwork, light coding, and save all the heavy work for my desktop and even the university computers. What is recommended?