Are these pinholes something to worry about in our new microcement floor?