Just spoke with a helpful guy at Tesla - it seems (as I think I've read on here earlier?) that the May EDD placeholder on the account is in fact a software error as they are trying to migrate to a more dynamic order update process. The May will, in reality, mean August/September being the date...