Quick question about mergers or buyouts. Does anyone know what happens to the options if something like this happens? thanks