Arts Correspondent Brian Ferguson hears from John Robb, project manager for Capital Theatres’ refurbishment of the King’s Theatre in Edinburgh.