Mark, I'm guessing you probably know this but just thought I would mention it anyway. Having the neck altered will possibly affect it's value as a vintage item. Probably not an issue if you plan to keep it but worth thinking about if you were planning on selling it on at some point.
Maybe the tech/luthier could advise you further or maybe rout out the neck pocket.
Anyway good luck, hope it gets sorted for you.