no sure about that
Are the HF 9K and the 12K completely different motor, solenoid, etc.? Or are they the same? Idk anybody running the 9K but a ton running the 12K.