[1.9 tdi gti] Distribuzione mk5

Salve, mi chiamo massimo e un anno fà ho comprato una golf 5 usata, adesso ha 160.000 km, il concessionario dove l'ho presa, mi ha detto che il precedente proprietario aveva fatto la distribuzione ad 80.000 km, ma non risulta scritto da nessuna altra parte. Voi che mi consigliate di farla subito o di aspettare un altro pò? Grazie