$250K?
Must not have been much of a lawsuit. Probably considered a nuisance lawsuit by Musk legal.
Yep. Several decimal places from mattering.