Yes, I just read the owners manual.
Plug and Play.
Have fun with it.
You can search out special model, vintage, pedigree tubes etc. or just try some.
The 12Ax7 was not used in vintage microphones because it is, generally speaking, noisy compared to those that were more commonly used.
It's fine in systems that use less gain and don't need super low noise floors, and so you see it used in guitar amps and radios and some hi-fi.
The 7025 was the label used for 12Ax7s that were culled out because they were low noise.
There are several brand of NOS 7025s. RCA, Amperex etc. that you might try.
Some of the relatively new, made in USA JAN Phillips ECG stock from the early 1980's were pretty low noise.
The various Sovtek brands can be nice, but the consistency seems varied... you have batches of good and batches of YMMV.
Try a few cheap new Russian or Tesla tubes and maybe an old 7025 and one of the 80's JANs.
I'll bet you'll hear differences and I wouldn't be surprised if you find one that sounds smooth but ends up having more noise than another that may not sound as smooth.
Stuff like that.
best regards,
mike