Regarding the 5751, I prefer the sound of these to just about any 12ax7 but you need to ask Craig about them for use in the TA. If it has a passive RIAA eq circuit, it's likely that he'll advise you not to use a lower gain tube like the 5751. Many time the eq circuit is placed in between the stages and the difference in gain will effect the eq.
Regarding the Mullard 6sn7. I seriously doubt that Craig will offer any NOS tube as stock. As an option, yes, but finding a reliable source for NOS tubes is a nightmare as well as the warranty issues. It may be that there is a Mullard branded new production tube (made in Russia just like the Mullard branded 12ax7 that I'm sure are the stock tubes) that he's using that just hasn't hit the tube sellers yet. I'm sure it would be something like the EH 6sn7.