I have 5 clumps of this palm growing out by my swimming pool. I think that they are possibly as old as 20 years. They seem pretty slow growing. All the clumps are between 8-10 ft tall. Someone told me it was a "Windmill Palm" but photos of windmill palms I have looked at all seem much larger than these, except for the Chinese variety. It also kinda resembles the Mediterranean Fan Palm. Or is it something else? I'd appreciate help with an ID.