I consider Iglesias to be the better player. 12.4 rWAR in 841 games vs. 7.8 in 998. That’s not trivial IMO. At the same time, I agree with you that for one year, Galvis + prospects + $2 mm > Iglesias. I happen to like the prospects we got.
We'd be incredibly well served (lucky, even) to have something like the 2011 - 2014 version of JJ Hardy forcing that move. He averaged 3.6 bWAR/3.3 fWAR over that period.