Thanks for the swift response, xxxxx. ^

Return isn't until December so there's plenty of time yet for the ticket to be reissued. I shall keep an eye on this booking and if necessary allow some extra time at the airport. Although I must say the prospect of having any ticket reissued at EDI does not fill me with glee.