Apparently, Dr. Karos is supposed to drop "rock chunks". They don't seem to do anything - no trading use, no crafting, no weaponry, nothing. What are they supposed to do? Should they be removed?

After spawning him ten to fifteen times and killing him, he hasn't dropped a single rock chunk, though.