First, they named the lobster Larry—a name many can tie back to the show “Spongebob Squarepants.” But giving him a name was ...