Update:
Her holes are patched! (Why does that sound dirty?)
I took her in this morning. The stuff they used is clear; you can barely tell that it's there. I was expecting something more dramatic!
She has to stay in the bathtub for a few more days. So, I won't be here to see her return to the pond.
But, she can have supervised basking sessions now!