Denke auch dass das Budget zu knapp ist. Also einen gebrauchten, z.B. einen Precision, Elitebook oder den genannten W. Alternativ ein Gaming Notebook nehmen und die SSD selber einbauen. Ich würde Wert auf eine SSD, mind 8GB und ein mattes Display legen.