Hotchkiss WTF

What a shame. Hotchkiss was a good company too with lots of good products. It wouldn't bother me if Holley bought them out. At least they'd still be around. How many companies would we be without if Holley didn't buy them?