Hello, I picked up this tree at a campus plant sale, and all the guy could tell me about it was that it was 'probably tropical'. It's been growing really well, but I have no idea what it is! I'm wondering if it should be repotted because it is getting big, and/or if I should prune it because it is getting really top-heavy. The older stems are woody, older leaves are a little leathery and seem to have a waxy covering. Leaves are arranged in nines, stemming from the main branches. Any advice would be appreciated. Some pictures are attached. Thanks in advance!