I am happy that you managed to find it!
But I also thought that this whole situation was quite odd. Should not the school provide him with a copy if he needs to read it? Back in Eastern German days, we got all our books from the school, and for free as well. We just had to give them back after reading.