I think full coverage is almost always a good idea. In 80+ I usually just wear a 1mm skin, sometimes with a 3mm vest, but it can be hard to predict for someone else. But it sounds like neither of you run too cold. While I expect you'd be fine in a 3mm which is a good all around tropical suit for many people, personally in your circumstances I'd get some kind of 1mm skin. It's a useful thing to have in any event, and if it turns out it's not enough you can rent a shorty to go over it. (It's a good idea to check with the op and see what they have instead of guessing, but shorties seem much more common than fullsuits in rentals. And I would want my own suit to go under any rental, not over.)
Some people will say you can always let water in if you're too warm with a thicker suit, which is true, but there's still the additional bulk to pack and a thicker suit to get into. Not to mention missing the delight of diving with as little exposure protection and weight as possible, some of the perks of tropical diving.