Is there a way to know if they offloaded before Musk called it overpriced? Do they have to report sales like they would shares?