In my opinion, you are paying for too much for that mileage. You should look around and there is cheaper out there! I found a DSG for 6,500 at 65,000 miles with can belt change. Also, there is nothing wrong with DSG, quicker than manual and better throttle response and you have the flappy paddles at palms length which is great
. I didn't know they had the DSG in 5Dr as mine is 3Dr.
Always remember with cars, you have to be a little patient and look around before you buy a car. Test drive a few and then decide what your instincts say. That's a very wise tip to take on board that will help you in buying a car in future. Never buy a car based on impulse!
Don't go for red MK5 GTI although I did own a MK3 Golf in Tornado Red in the past but always go for a black DSG model, and 3dr. Leathers are great and heated as bonus
Hope this helps.. All the best buddy!