Did you sell your VTEQ shares already? I would like to follow your steps. Appreciate your response.