Opinions on a GTI over 120k Miles? Found a Mk7 with a pretty comprehensive carfax history for $8,500

GTI Market is pretty stale around me but I just test drove an Autobahn with the driver assistance package with 124,000 miles. They want 8,500, which will be 9,300 out the door with TTL. Dsg missed the 80k service, but felt super smooth, water pump was just done along with some small things.