Sök efter bättre begagnade thinkpad/elitebook men gärna lite bättre serie och cpu i generation 10, 11 eller bättre, där kan du oftast uppgradera minne.
De kan du nog hitta under 4000:-
Läs på om vilka serier som är billigare vs mer påkostade med alu-chassi och eventuellt skärmar.
Personligen gillar jag inte elitebook med sureview, men är det på en budget och inte för bildbehandling så duger det kanske.
Black friday veckan kan annars vara en tid att fynda begagnat då den marknaden är rätt död just den veckan