Not thus far, but I doubt one ever gets off this kind of chopping block once on it, so it seems to be merely a matter of time. It’ll probably take a year or two for CXMT to start producing consumer DDR5 in higher densities, if they even plan to bother, so I wouldn’t bet against a motivated lobbyist getting the axe to swing in the interim.