Elon Musk’s decision to round to $420 could cost him $170 million