Pool deck recently poured 9/2023 , initially sealed by concrete company by what I assume was a water based sealant. Would like suggestions/advice as to sealers people recommend, frequency of application and also anti slip additives used. Any preference about rolling versus spraying. Pool is salt water Thanks, Jim