That's a bugger @sister - so you weren't covered by your home insurance??
Gum trees can be SO dangerous ..... Councils need to be so much more aware if their own responsibilities when home owners request trees to be cut down for safety sake - especially after long dry periods - when the long limbs become 'sacrificial' for the actual tree's survival. :(
Definitely not worth having any with limbs long enough that they can cause major damage to house or out buildings
We had a neighbour's pine tree limb that was overhanging our yard cut off - and when it came down - we were amazed at how much LONGER it was once it was down - rather than just 'looking at it' on the tree!