Some people can be deeply annoyed by piped music, and even find it spoils their enjoyment in recreation or drives them out of shops: Eight out of 10 people have left an establishment early because it was too noisy.