In case we need to replace the starter ourselves, it’s a lot of work. This is the procedure.