Update: they cut down the whole tree! Not what I intended, but watching the limbs as they came down, it's clear it was not doing well. Probably for the best, but sad to see it go.