I just checked my schematic and they did indeed use ECC82's. Not that it matters really since we are still dealing with a small signal tube with a max Va of 300V, driven way past its limits and asked to push what, 300pf? Pure madness...
Also, that balanced input is really just single ended (notice the dual section 10K RK27 pot) and the input drivers are BC639. It's also fully AC-coupled.