Hi all, I am totally new to the world of porsche and I am about to purchase a carrera 4S in black with black leather. It's tiptronic 31K miles on the clock and full main dealer service history, the guy wants £25K for it, my question is am I getting a bargain? would appreciate the feedback. Many thanks in advance