I've followed all the posts relating to EDC autos not starting as i encountered the issue as an intermittent non start. None of the posts come to any conclusion so i have to assume these vehicles were scrapped or converted to the manual pump.
This is the first time I've seen any information posted, thank you Sierrafery