I am happy to see a gator in a good home for once, but...Ill be that guy that saves you the agony later down the road and say it'd be wise to remove the two floridas before disaster....gators are known to be randomly agro to tank mates...and its an inevitability really. They don't get along with others forever even if it seems they tolerate them now.
just the size difference alone makes me pretty nervous looking at the picture. You said he ate an 9" trout, those two floridas are going to be looking like fair game to him shortly.