So it would seem. Any number of reasons why, of course, but for now they are 'sitting on it' I think?
Long ago, when it looked like legal weed might happen, RJR and the rest rushed to copyright "Acapulco Gold", "Panama Red" and so on. No fools, they?
I hope the fellow who figured it was OK...