This is the 3rd motherboard I've bought from AmigaKit, 2 of which were defective (anybody want to buy an NTSC 1200 board that gives green screens, or a PAL 1200 with no sound? ugh) so, I'm going to be upset if they don't swap it out. They probably will since they seem good about that if you notify them in time, but we'll see.
And no, not enough room to file the plastic without exposing the metal contacts on the Indivisions socket, and I don't have a soldering iron near small enough to work on that component.