I had the exact same thing happen last batch. I left it in until I racked. Amazingly, it cleaned up fine and still works, though in the meantime I had bought another stone just in case. When you get it out, boil it in some water for a few minutes, then blast some air through it.
I now have hose clamps on each tubing end to prevent that from happening again.