DHL came through and delivered the tickets. OK, so it added a fair amount to the total price, but at least we don’t have to wait and hope the correct desk will be staffed on the day of our flight, as you do when picking up tickets directly from the airport.
That Barcorama link I promised earlier is this one. It is free, and still being updated a lot,with suggestions from other forum users being taken on board. (As with most forums, you can find me there under the nick of ‘SilentlyScreaming’.)