O K550JX é bem mais capaz, e como está na universidade com certeza terá acesso ao Windows gratuitamente, por uma questão de longevidade e dada a relativamente "pequena" diferença de preço, iria para o K550JX, simplesmente por ter melhor hardware, tanto CPU, como GPU, e caso ele queira jogar qualquer coisa nos tempos livres tambem estará mais bem equipado.
Mas o outro modelo que indica tambem serve, é uma decisão sua.
O mais caro potencialmente aguenta-se mais anos que o mais barato, obviamente que se cair ai nada de vale ser mais caro.