dc42 if you need more then 2.5 mm the board is 1.4 to 1.6 thick I would remove the copper. And as a side note I have not seen any board that didn't have the copper remove from one side with high voltage below.
So your saying cut back the side copper to get it like remove 2mm around the edge of the board
This is what I would use