JJ ECC83s are one of the smaller diameter current production 12AX7/7025/ECC83 tubes. Electro Harmonics, TungSols, and Mullard reissues will probably be too large to fit inside the shield on an F1-X. Just tried all of these in a 70's Marshall with small diameter shield bases and the JJs were the only ones that fit. I highly recommend getting the Ruby tested 12AX7HG+, which is Ruby's nomenclature for the highest gain/lowest microphonics JJs out of the large batches they get.