Lobsters: What is index overhead on writes?