>> I have not lightened up in years (usually a mistake) <<

Hello old friend, I several times do have lightened up a little in years past. Result: Not only usually, but ALWAYS a mistake I did regret a few years later, with Berkshire continuing it's endless rise.

Nevertheless I might do that mistake again. The current price is tempting. But the question then is what better to do with the proceeds?

Using the current relatively high price to sell covered calls as Jim is contemplating is no interesting alternative for me, as I see getting around 1% for Jan'24 400s as peanuts only (Getting 3% for Jun'24 400s might be more interesting). Maybe I am just too greedy for that without doubt clearly very rational selling covered calls game. Either I sell a bit of stock or I contemplate the dark side: Buying Jan'24 320 puts with the (gambling) goal to make some short term profit.