Just found out that only one of the two suspected bad power tubes were replaced because the other tube was not in stock. We will decide in the morning whether we want to repair this generator or try and install a more modern generator.