Looking for a MKIII

Well I've talked the guy down to $5500. The mods include:

Custom 3" dp
Titan 3" test pipe
Custom 3" ex system
Autometer boost and A/F gauges
Short throw shifter
Blitz bov
MKIV Rims w/ new tires
power slotted rotors
Stainless steel brakelines
Eibach lowering springs

JDM 7m-gte engine: HKS mhg, arp studs, valve job, new gasket set, and
machined head. (supposedly less than 60K)

He also installed a new clutch master cylinder and slave cylinder, which he says are a common problem with supras.

So far the problems I noticed were: a leaky t-top and an a/c pipe freezing over (what can cause this?) The car seets need to be patch and/or covered. The exterior is ok, no dents but the paint shows wearing.

So what do you guys think, does $5500 sound reasonable? What problem areas should I look for? What should I get inspected?

Sorry for so many questions, but I really don't know much about mkiii.

Also, he says that the car was inspected by a toyota master mechanic <_<