We will be completely re-doing our pool this winter and installing a pebble finish. I have read historically on this forum that pebbletec is preferred by many. Does it really matter? If so, which pebble finishes should I consider? Are there any I should stay away from? Thanks for your opinions in advance.