So... not a big deal? I saw the FD recovered a lot of it.
That "coolant" is like 99% water with conditioning additive of green dye and borax, it immediately mixes with other drain water, so even if they spilled only 12 gal, that became 550 gal green-ish liquid when reached a pool area