We have 3 decking options: small pebble (which is what is on our covered patio), salted concrete, or brushed concrete. Our coping will be travertine. We’ve been discussing the pros and cons of each and are still unsure which to go with. Which of the above options would you go with and why? Also, why would you not go with the other options? We’re near central Texas. Thanks!