I have been torn between dumping the lot (this wouldn't be the first company in which I have invested that was full of promise when I bought, and still showing the same potential 5 years later), and using the sell off to increase my position; even to freeing up some funds from other stocks that have just had a good run.
In the end I did nothing, so let's hope for the best.