Sold at an average of 19. If it hits 12 I'll buy back half. Meanwhile showing a tidy profit on what I picked up.