Where to buy replacement tips for the Galaxy Buds?

Despite being almost four years old, Samsung's Galaxy Buds still hold up quite well, both in terms of their design and (basic) sound quality. But those ear tips of theirs are quite prone to getting lost. Thankfully, you can still buy replacement ear tips for the Galaxy Buds, you just need to know where to look for them!