Sold my position in RGM this morning. Probably left a lot on the table, but a sure 40% profit was too juicy to pass up for me.