[TillE]

It's certainly a socially weirder thing to do, but honestly I think someone playing music on their phone is probably less annoying/distracting than people having a loud conversation, which is far more common.