Dealer has just rung, they said a full repair will be £500+ and they're concern was it wouldn't be invisible so they're going to try and go down the (cheaper!) fitting an external socket route. The Bullfinch range sockets are 5" wide so fingers crossed one of those will fit. Brief measuring seems to indicate it will fit so here's hoping.......