A valid point, but nonetheless owning a second pair of ear buds is not a high bar. Ear buds are sold by nearly every corner gas station, grocery store, and 711. Typically for <$20 regardless of region.
The primary issue is interchangeability. In the event you leave your earbuds at home. Borrowing a friend's, or purchasing an additional set is a simple. This is nolonger a simple solution.