Chip repairs are usually quick clean and easy. Any glass shop who leaves a mess like that will not be in business long. Always go with a shop with a good reputation and preferably one that uses only OEM quality glass and not the cheap stuff from China or Mexico. But i would agree that chips should be repaired as soon as possible to prevent cracking. Even waiting one day can be one day too long, chips love to grow fast.