First, I was wrong about the size, for it was a mere 57.3 GB.
Second, the manual;'s clearly wrong, for Tesla's service report says:
"Upon reviewing logs at time stamps provided by owner technician found that times of occurrences corresponded with USB drive
full error messages. Technician...