How long do you anticipate taking for your Ironman event?
What about the F5+, what's the realistic battery time?
The user manual indicates 11 hours in GPS mode with wrist HR. I'd suspect the reality is that you'd get less than that even under ideal conditions, but might get close if you turned some stuff off. There's a post somewhere in the 5 series threads discussing how to maximise the battery life for an ultramarathon.
I used the 935 in an 85k ultra earlier this year - GPS, bluetooth, chest HR, WHR still on - and had close to 30% left after 13hrs. I think I'd stick with the 935 for now for the Ironman.
I think you'd be alright with the 935 for the full Ironman. It's not quite the same, but it might be worthwhile recording a dummy activity during a day. Turn it on first thing in the morning, wear it all day, then turn off at the end of the day and see how much battery you have left. Discard the activity when finished.