Late May/Early June OR Late July?

[Dawnee]

We are planning a trip to WDW and need some input as to when is the best time to go for us. The choices are Late May/Early June or Late July. I understand that regardless, it's going to be Very Hot and Very Humid, but it would seem to me that early June won't be as hot as late July? Is that correct? I'm also thinking that it won't be as crowded (leaving to go home around 6/10) in June than in July as schools in Florida will just be getting out around 6/9. Does it rain about the same in June as it does in July?

Thank you for any and all input!