Mine came from Cummins/Onan, cost heaps more than that, and originated in China despite being boxed as a true blue genuine Cummins part. Well done.
I just searched for Manuals via Yahoo/Google, there is one, looks like mine, on Ebay, $18USD plus UPS, mentions a parts list could be available too. Could be others as well, I was not thorough. But it`s probably not the comprehensive repair manual you want.
Island Gypsy 36 Europa "Doriana"