I’ve gone to my archives and there are a couple of things you should know about the AV520 engines. First, the AV520 engine was only built as a 3hp engine in 1975&1976, before and after that they were 3.5hp. Second, they were made as an outboard engine, Eske manufacturing was the primary user, with a small number also used on other pieces of ground equipment. Adjusting and setting the ignition systems on these engines was different depending on where they were used. Third, spark plug needed for these engines was either a Champion J13Y or RJ13Y or AC 45S. Using a hotter plug will produce a weaker spark. Can laminations cause a problem, yes if they become separated.