When Should a Windshield Scratch Be Professionally Repaired?