Gonna be expensive, that's for sure. I've never had to deal with this but the articles suggest trees are only slightly weakened by it. Perhaps have an ISA arborist look at it and make a recommendation as to the level of threat, and whether anything can be done to make it safer? We're losing lots of big beautiful elms around here to Dutch Elm Disease