The fan community already has that figured out from the standard margin of EVs at "0" miles of range, combined with the percentage state of charge drop from going 500 miles, and the stated efficiency in the presentation (under 2 KWH/mile) and by Elon on twitter (1.7 KWH/mile). This makes it pretty certain that the battery is 1000 KWHr.