I've done it again. And how. It's Lenny, not Lennie. When you consider that I excoriate people for typing Woodie instead of Woody, the error is especially egregious. Pass the bloody hair shirt.