> > Paul, how much would have to be shaved off? And what kind of
> > tool would I need for that?
>
> about 5mm, and just a file will do it...
Anyone buying a set of boards in future who needs this done, let me know and
I'll lop the 5mm off with my PCB shears.
Cheers,
Colin f
________________________________________________
Message sent using UebiMiau 2.7.2