There might well be but he wouldn't know yet. I doubt they have set it up to swap books. Mine usually discuss essay deadlines!
If he is able to sell his books on, this will not be until two years from now as the courses are two year courses. But obviously, this may be at least getting some of the outlay back. However, that means it is very unlikely there are many students in the year above selling books.
Certainly second hand bookshops in schools and colleges would be a very good idea.
I do repeat : I can afford this. It's the principle of state educated students so lavishly funding their own education that sticks in my throat! I did know his new institution was like this a little bit.
For those who are interested, I have done some costing research,
I obediently costed all the books on his list which are 'essential' for the first year.
On Amazon , with my Prime, I can buy all of these books for just over £170 (and get most of them today). Three of them are not actually in print yet so, I have actually spent £105.
I could not buy all the books form Amazon marketplace. If I had had a mixed economy of Amazon and marketplace, spending a little less on the selling price of some of the books,the actual overall cost went UP by over a tenner. This was because of delivery! And they would have all come at different times.
I also looked at Abe books. This cost a lot more and I couldn't get quite a few of the books.
Wordery came out at about the same price but they did not have as many of the books listed.