Congratulations on your purchase. I looked around for one of those years ago but was unsuccessful. For 12AX7, TFK would be my choice if you can be certain they’re genuine. For 12AU7, my first choice would be to ditch them if they’re in a gain stage, but they’re ok for a cathode follower. If replacing AU7s, I’d recommend either 6FQ7 or 12FQ7, depending on the filament voltage. 6CG7 is superb but you’d need to re-wire the filament. DO NOT use 12AY or 12AT, unless Hagerman says ok. Those types are electrically different from 12AU.
Electrically, 12AU = 6FQ = 12FQ = 6CG, for practical purposes.