By the way, I have a PDF of the Bosch "Hot start issues" manual from the 80's. It explains all the bits and what to do to correct an hot start issue by installing a pulse relay. IF anyone wants it, I can send it via PM. 10 Mb total, or two sends of 5 Mb each. Let me know. Louis-Alain