RE: Just how much does and engine lean out?
There is no general answer. How much to richen is engine/prop/airplane/application-specific. People say 3-500 RPM rich from peak RPM. Probably the answer is somewhere in that range for your situation. I would err on the side of a little richer than rather than too lean. The proof is in the flying.