He should sue both to make sure their likely non-culpability is part of the same suit as suing the driver. Otherwise he risks the driver having an easier job painting it as entirely Tesla's fault in order to weasel out of it.