May I suggest you try the Telefunken 12AX7 Red Tip on your ML2.
Good suggestion.
Typically a colored tip on a small tube is a mark put on it post-production, not by the manufacturer. Coloring/painting the tip can be a dealer mark to indicate the tube came from him -- dealers don't like selling a tube then getting a different tube in return. Sometimes it is used to mark the dealer's grade of the tube.
A good piece of info to have for a tube is its date of manufacture. Many people believe certain dates for certain tubes are 'superior' than other dates. Sometimes that can be known by its construction. Most tubes have a factory coded date but you need to know how to translate that and Telefunken has its own unique set of codes. It is like LP markings on the run out.
There are several
Web pages that decode Telefunken dates.
The Telefunken 12AX7 or ECC83 is considered desirable and thus there are counterfeit instances. The critical marking for a tube manufactured by Telefunken as genuine is a diamond <> molded in the glass in the center of the bottom of the tube. You may need to hold it an angle to see it but the mark is v. distinct. As Tang notes, this particular tube in NOS condition can be pricey, depending on date. A general rule of thumb for Telefunkens is late 1950's through 1960s are good but within that range some years are better than others.
The stock 12AX7 from Lamm is from Sovtek. Those are in short supply right now because Russia boycotted their export because of Ukraine - at least in the US. But any 12AX7 should work, the idea being they all share the same electrical properties.
There are lots of different brands of 12AX7/ECC83 (Amperex, Siemens Halske, Mullard, etc.) each with their own sonic characteristics. Telefunkens are well thought of - very clear sounding with neutral tone, maybe a teeny bit light in the bass.
I'm thinking Peter is new to tubes and may not be into tube rolling right now. Nonetheless ... it may be inevitable.