Hi there. After reading many horror stories of extremely slippy decking, I have had non-slip wooden decking (with strips of grit set into groves in the wood) installed. Over the winter it has been fantastic and worth the (considerable) extra cost but it's time to seal it. What should I use, how many...