Universeller Stipple-Pinsel für DIY-Deckenarbeiten, Professionelles Texturierungswerkzeug (Stipple)