Looks reasonable, good horn. One of the touch pearls is missing. Ask if he has repair history and check to see that the stack rods are not loose . Just think about it existing four years in a high school environment.... Sometimes they get oiled and maintained and sometimes they don’t. Budget at least $125 to have COA by your tech. I also see a lot of these types of horns complete with a neck strap and mouthpiece @ $500, just saying. If this deal doesn’t work out I suggest looking locally on Local social media sales. Be patient something always turns up.