I agree that more preamp tube options would be cool.
It's hard to know if those preamp tube differences in the video were
at least partly or mostly due to not adjusting the surrounding circuit values leading to differences in tone/gain/saturation. If the Axe's preamp tube + circuit modeling is 'normalized' or auto-biased (similarly to power amp modeling), the differences might be more subtle. But preamp tubes might operate in a narrower range and perhaps direct swaps w/o normalization might work virtually.
Found this for reference from
http://www.aikenamps.com/index.php/technical-q-a:
Q: Can I substitute a 12AT7/12AU7/etc. for a 12AX7?
A: Yes and no. While they are the same pinout, the tubes are very different with regards to internal plate resistance, bias current, gain, etc. It won't usually hurt anything to substitute them, but it is not a fair tonal comparison if you don't also change the cathode and plate resistors to optimally bias the tube. A straight swap without regard for circuit operating conditions will lead to incorrect conclusions regarding the characteristic tone of the tube.
Q: Can I change the preamp cathode or plate resistors to change the gain or tone of my amp?
A: Yes, but you should change the plate resistor value when you change the cathode resistor value, in order to compensate the quiescent plate voltage shift, to rebias the tube near the center of the plate voltage swing, or to the place it was originally biased. If you don't change the plate resistor, the change in the static DC bias point may cause the tube to clip very asymmetrically, and the headroom will be lower, which may or may not be a good thing, depending on your needs. The two go hand-in-hand. If you change the cathode resistor, the plate resistor should (ideally) be changed, and if you change the plate resistor, the cathode resistor should be changed, unless you are designing for an asymmetric bias point. At any rate, it is always a good idea to check the operating conditions of the tube circuit on a scope to make sure things aren't getting out of hand. People tend to view preamp tubes differently from power tubes, but in reality, they are the same animal, just on a different scale. Preamp tubes need to be biased, just as power amp tubes do, and there are ranges that are more optimum than others. This is why it is not a fair test to just swap different tube types and compare tones. A 12AX7 will require different plate and cathode resistors than a 12AT7, for instance, for optimum bias point and tone.