The mandolin has been used extensively in the traditional music of England and Scotland for generations. Who played the mandolin on the album Tubular Bells?