Lucid supports this directly too: https://lucidmotors.com/stories/introducing-rangexchange

<10kw, so not super fast, but I bet most people are really close to the charging station when they run out.