No news on my car - I may call Hyundai later today to bug them (for all the good it does).
But I was piddling around on a Hyundai parts site - the entire battery pack is broken down into internal parts - quite a few of them. Various hoses, connectors, gaskets, and everything else.
https://www.hyundaipartsdeal.com/genuine/hyundai-battery-management-unit~375a0-k4000.html?vin=&make=Hyundai&model=Kona Electric&year=2019&submodel=&extra1=&extra2=&filter=()&location=motor/high_voltage_battery_system,3737512,375A0
Which to an extent seems weird - my sense is that they aren't expecting dealers to open and service the things, and instead send them in for refurbishment, so why do they even break it down like this? Possibly so that the specialized shops that refurbish the modules have access to parts for repair??
I would also note that just from the parts diagram it is impossible to know which parts are not intended to be reused, and which ones can be reused. For example, 37528-K4000 is the gasket that seals the battery assembly - is this reusable or not? They don't say, but lots of manufacturers seem to recommend not reusing gaskets.
The individual blocks of battery cells are listed on the parts sites - you can search for 375J1-K4000 and 375J2-K4000. Those go for around 6300$. But one of the keys with LiON batteries is having all of the cells balanced with respect to each other, so it doesn't really seem like it would be a good idea to just swap out one of the blocks. Perhaps a shop that specialized in refurbishment would have the ability to select a module that is well balanced WRT the others? But from the standpoint of ordering parts, you don't have the ability to really select a part with a set of characteristics that would be a good match for others.
Something else I noticed. The entire pack assembly is listed with part number 37501-K4000, with a list price of 31K$. But there is a second part with a number 37501-K4000-RM, which has a much lower list price that one can apparently get for something like 8k$. They list this part as "new", but the "-RM" suffix suggest to me a remanufactured or refurbished part.
There is a part number 37501-K4001, which is a battery assembly for a model year 2020 Kona. It isn't at all clear what changed from 2019 to 2020. The parts websites say this part won't fit a 2019.