Hi I went to car dealer today to test the car and the clutch felt hard to press.(i did not start the car) They said it is a sport clutch(or HIGH performence clutch?) and that it is normal. Is that possible or should the clutch go with ease? Never had a porsche before so I'm not sure. The car has 17000mi. But there was nothing in the carfax saying abouth clutch job.