RH Margin Account - Drip or pay off Margin?

Hold about 12k in mag 7 stocks and IVV in RH. Switched to margin got 11,900, bought 10K worth of NVDY, MSTY, CONY, YMAG and TSLY. Question: Better to DRIP these or pay all toward margin which would be paid off in 1 1/2 yrs? If DRIP for how long and would it be wise to deposit money toward the margin? if so, how much?