Thanks for the input everyone! I did get him to sell them to me for $100 so not terrible. I’ve already got someone buying all the star wars ones and Tom, you interested in the space ones? I’ll probably bring the rest to Q3 (the ones I don’t keep myself) and see if anyone wants to buy any of ’em 🙂 I’d rather offer them to members first before listing them on Bricklink.