Sell 100k of DCN or convert 100k of DCN into 8430 of GMD?Sell 100k of DCN for $12k and buy 8430 of GMD for under $8700 and keep the change.Of course allow for brokerage and numbers are at COB 12/10/22