No problems roebuck, having the edit period time out is a major frustration when it happens.

There should be a reasonable range of alternative engines your friend can consider as a replacement. Usually the best prices are found on second-hand side-valve Briggs engines. The Honda G400 is a competing side-valve 10 hp engine of the same generation that seems quite well designed.