Look for a Korean supermarket. Or, you can buy a Kimchi maker. The s, aller ones make a quart at a time and cost around $100.
In the D9C area, they have Korean stores everywhere, and sell the makers as large as refrigerators.
Dallas has a Korean community, but I don’t wish to drive that far.
Oddly the other Asian markets don’t carry Korean stuff.