Ik zou hem bij de 15000 vervangen, maar als je van te voren al merkt dat het minder wordt, zeker vervangen. Het kost maar een beetje geld en je bent er niet lang mee bezig en het kan er bijna alleen maar beter op worden tenzij je zo'n mongool bent dat je je zuiger verkeerd monteert.