They don't show up on the insider holdings on the financial sites - do they have to file an S-3 when they sell?