Yeah, tbh for the mods he has done (if he can back them up w/ receipts) like the bbk, exhaust, and coilovers, the price isn’t that bad.
Last year i paid 10k for my 00 celica gts with only evo 2 exhaust w/ 55k miles, and had to go to vermont to get it. even that was a good deal especially for the price of the cars in the wny area. I will say he would get a better return if he parted out the car, returned it to stock, and traded it in towards the cars he wants.