What does the JackManTech Happy Island Operation & user’s manual include? It lists getting started, servicing and upkeep and problem solving.