What is a "car"? Is it one of those tiny things that holds one guy? Or is it a monster tired thing that drives over VWs at shows?
What is a choke? A choke is an electrical concept, you can make chokes for any level of current you want. It can be a tiny thing or a monster car crushing choke.
I hate when people wave "design flaw" in the air. Leo didn't fuck up, he just realized the tubes would run just fine 100v over the book spec. 50-60 years later and those same amps are still running just fine, thanks, at those overly large voltages.
So until I start seeing old Sunn amps coming in with blown chokes on a regular basis, I won;t be waving the DF flag