All good courses, I play three of them on the regular with my men's group.
Shingle Creek is a resort course, meticulously well maintained, and a favorite. A keeper.
Providence, Southern Dunes, and Highlands Reserve are fun courses and well maintained, but just know they located within neighborhoods and not quite on the same level as Shingle. The difference in green fees reflect this. Out of the 15 or so courses we play in rotation, these three are among my favorites for sure.
If your budget allows, I'd look at Streamsong for a bucket list round, located about an hour from Orlando. They have four amazing courses, and May is the perfect time to play it. Walking only that time of year I believe. You won't regret the extra effort and expense.
Grand Cypress is going through some major construction, but I'd still recommend a round on the Jack Nicklaus designed Links Course (formerly the New Course).
Celebration would be my Disney course of choice, but others may recommend differently.
Slightly less fancy, but still one of my favorite local courses, is St. Cloud.
Mission Inn is about 40 minutes outside of Orlando, and has two world class courses that host a lot of amateur events. Las Colinas is a Gary Koch design that I love, wide fairways and big greens. Less water than the other course, El Campeon.
So many great courses around here I'm sure you'll get some other great suggestions. Hope you and your friends have a great trip!