Nope, nothing special about it, I actually checked for it when I needed it, but I needed it quickly, and a generic version from a webshop with shipping costed about the same in my case (both about 20€) (I don't need to pay for shipping if I order festool stuff from a supplier, and pick it up there).
And I'm a bit of a wussy, there happened to be a lot of news items locally at the time, about fires that started when using cheap aftermarket chargers for E-bikes and cellphones.
I just remembered people on the forum complaining about the price of the charger, I think they imported their lights from Europe before it was available in the US.