Anche se hai solo 9000 km conviene cambiarla 12 anni son tanti, la mia ogni ogni 40000 km viene cambiata da BMW ed è ancora buona a vista, comunque anche se hai il radiatore con un pò di manualità questo video ti potrebbe dare degli spunti
https://www.youtube.com/watch?v=8GtmLEZwYV4 
