Thanks for that! I asked at the local mower shop, after I lost my exhaust gaskets and needed to replace and they confirmed what you said about the guide.
They also suggested that it's OK to run as it, but I may want to use a roloc disc and knock the high spots smoothish. Funny that the unexpected trip to the mower shop turned up the same info as this thread!
The mower was using oil, but I firmly believe it is because of the blown head gasket, so I'll see what happens after I wait for the muffler bolts that I broke to show up.
Here's a picture of the offender:
View attachment 37931
Thanks for all the attention to the thread and the great info!