I have decided I do not need this generator after all.
It is new and unused. I have only started it up once every two months and run for about 15 minutes to keep the battery charged, and for lubrication.
It comes with manual.
For details, please see Amazon at:
Champion Power Equipment 9375W Generator with Electric Start