Actually, I asked my brother to come and cut it down, as he has some ridiculously oversized chainsaw for some reason. And chaps etc.
It has a short bar on it for most of the pics, he only put the long bar on it to cut the stump off.
Here he is just starting out.
And what it looked like pretty much before starting. Shaded an area that didn’t need shade, and took up lawn space. We have a tiered back yard, so usable area is handy.