Choke input will do just fine. It will be a pretty much constant current load with class A push-pull, so it's a relatively easy job for a power supply. The 6.4k OPts will be great. Not huge power like with a 5k or so, but it should be pretty low distortion since the load-lines will be flatter.
With a 6.4k load and class A PP, it's a 3.2k load to each tube. Bias it at 270V and 50mA with a 320V supply and 50V bias via a cathode resistor of 50/0.1 = 500 ohms (bypassed with 100uF, or can use two separate 1Kohm cathode resistors for better balance and 50uF bypass caps) -> which should make you about 10 watts output power with 13.5 watts idle power per tube. Can use that 50V for the screen supply of the 12HL7s with ~12k loads (higher since we dropped the screen V a bit). I initially picked 62V because that's what the 2A3 datasheet said for PP, but we are running all class A, they assumed class AB (one tube cuts off, thinner bias for more power - you could run class AB if you wanted to for more power, but class A is always sweet and simplifies design [no kinked load lines]). This should be a pretty sweet rig :yes: