looking to buy a 03' g35 coupe. one owner, garage kept with all previous service records. stock. whats a good price?

KBB is $10,400, NADA is $10,400 for a clean trade in, and $9,325 for an average trade in.

also, anything in particular i should look for when i take this car to my mechanic for a general diagnostic? the owner recently fixed a lock actuator, cd player, trunk opener wire, window motor, belts (i think serpentine and ac), and one wheel bearing. When does water pump go? He also said he changed the plugs at 100k miles.

anything else to look for on a car with this many miles? price based on this info and body in good condition?

i really appreciate any help you guys could give!