Thanks for surveying.
I suggest we leave the situation unchanged.  Enhancement of an existing building does not belong to OSM.  If they destroy the whole building and build a new one, we should improve the shape once UrbIS data is updated.  We keep the shop=vacant node to preserve history, and the node could be re-used for any future shop that comes here.