The prices you list for two of the three nos tubes is excessive.
The RCA cleartops shouldn’t be $40 each.
The Mullards go for around $175 a pair, unless they are the m8136 variant. Then they’re around $250 a pair.
If you can find a strong tested pair of the Amperex 7316’s (the earlier the better) for $150 each, I’d get those in a heartbeat.