We haven’t, but we’ve also been accumulating them since at least a few years before the inflation spike. It’s not a big enough chunk of my portfolio that I’m worried about hyper optimizing. If the spread with other options widens I’ll probably change my tune.