If you only count robotaxis and not all Tesla, isn't the crash rate 20X per driven mile? I remember doing the math a few months ago and finding 20, but I might be mistaken.