Yeah there's also the Leopard Tree which has the same problems around leaves too (we have one of those above our house as well!). I honestly don't know what would be better, I don't know enough about trees!