 then I think you probably should just make that repair. And in terms of the pool deck, of course, if it's tile, you know, and it's chipped and broken, then that's a different story. But there are a lot of cool products that are out today that are literally paintable. In fact, there's a product that's called Roller Rock. There's another one that's a terrazzo coating.