There's one on reddit, $600 local in Houston (if memory serves), or $600 + shipping. It's quite a bit more than a 'little bonus' for the seller, but it's considerably cheaper than buying the charger from Lucid. Everyone wins. There's usually a few for sale on this forum, too, at any given time.