Interesting, I just left the card formatted as is within the Pi environment, I hope it will still work.
By the way, do you know how we can trigger this script to run with the car's MCU (Tegra environment?) If we can do that, maybe we can try rescuing the OEM SD card first, before taking things...