Thanks Grumpy. You are correct this was a relatively easy fix at low cost - A more than worthwhile project which hopefully shows others its worth fixing mowers with minor fire damaged engines, well at least in this case it was anyhow.