Surgeons in London operated on Briton Paul Buxton who was in Gibraltar.