This morning I opened up my JD100 to see how easy it would be to change tubes and was suprised to find a pair of Electro Harmonix tubes instead of the stock Chinese tubes. Has anyone else found different tubes in their stock JD100's. Is it safe to assume that the Electro Harmonix is better than the Chinese 12AX7?