I would actually keep mine if we have a nice dividend and there was some potential left. We will just have to wait and see.
Also, it depends on how much dividend we already have received, i.e. if my shares are "free" by that time, I won't be as prone to sell.
Ofcourse, if the stock reached like 100-200 times todays value, then I would probably sell a big part of my shares. :-D
Otherwise I will sell when I decide to retire.