That said a Brazilian Pepper Tree is an interesting idea. I think you could be right - the leaves and bark definitely match. The only thing is the wood in the stump is that bright orange color. Do Brazilian Pepper Trees have a wood colored like that?
