$1.5 billion to Palm Beach County’s GDP