I was having carbon build up using Aero Shell 500. It got so bad that the starter wouldn't turn over when applied to the shaft. I switched to KT oil and I haven't had a problem since. Like everyone else, won't know if there is any damage until service...
Larry