Yes, they are out.
There have been issues with "premature" firmware with the early versions but JK is hard at resolving them.
Note that the firmware is FLASH UPGRADABLE with PC/Windows software.
They do work with Victron Gear and are adding support for other products, PylonTech, Victron + a couple of other protocol interfaces are working.
I am replacing all of my Current JKBMS with these and adding 3 more into my bank as I am finalizing it all with new Steel Cases, new JK Inverter editions etc.