It was both my local dealer ( the guy who sold it to me and delivered it to me) and the Dixie Chopper Owner's manual (from 1997) that stated 0.040" for the CV22 (I have CV20), but like you, I have not seen this recommendation in any of the Kohler owner's manuals.
I thought I was home free, once...