I told him they were just run-of-the-mill Sennheiser's and cost about $300.
Are you crazy? That's not just some earplugs. The most expensive ones I've bought were from Skull Candy of €30,- and that's a lot of money when you're a student. Sadly I've lost them while traveling by public transportation. They had a great sound…
Now I have older version of the in-ear plugs (the silecon ones) from Apple. I've bought them for just €10,- and strangely they are even better than the original ones (€79,-) that a friend of mine has. I know that they aren't that good, but they do the job!