Yes, the luxury tax implications are much lower than the actual yearly cost going forward.
That does make a big difference to any team straddling the luxury tax limit from year to year.
It's not known if the Marlins will offer to pay a portion of his deal, and by doing so, they could get better returns. I've suggested trying to get the Marlins to take HRam or Castillo to offset part of his massive remaining money owed, but it's doubtful they'd go for it. Of course, other young players or prospects would also be included.
Here's a couple ideas:
Trade HRam, Bogey, Shawaryn and Beeks (then sign Cozart to play SS). The Marlins could trade Bogey later, if his arbs get too high.
Trade Castillo, Groome, Chavis, Beeks and Shawaryn (then maybe sign Morrison, Duda or Alonso to play 1B)