Out of curiosity, what are peeps doing re the 2021 ATUO options? Holding on or have sold for quick cash?