if the price go up these few days, you probably laugh at them. if it continue to go down, you will say they make the right choice. there is something call cut loss. buy back later is always possible. I dont think there is a right or wrong choice, just when do you do it.

Btw, its their money, their choice. I think best option is to take care of your own portfolio.