You can buy paint additives for non-slip for around $6 per gallon. Ask them what kind of additive they are using. Some are more like $20 per gallon. $200 seems very high unless they are using a lot of paint. Most are basically sand that they just stir into the paint. I used one doing my porch...