Wow what a bummer.
I personally, after just having gone through the rehab process for the first time would be leery of the first option and whether or not the new bonded plaster finish would last. I would also be concerned with how it would look where it's "feathered" at the tile line, although...