While I'm not entirely certain of the correct tagging and would welcome suggestions, I think the original comment is constructive and in good faith.  amenity=social_club may be more appropriate.

Also, the leisure=park "Mar-A-Lago National Historical Site" with nearly coincident boarder should probably be removed entirely, as it appears to be long defunct.
https://www.openstreetmap.org/way/1135694266

https://www.nationalparkstraveler.org/2008/10/pruning-parks-mar-lago-national-historic-site-1972-1980-was-gift-national-park-service-could