Option 2, but target a McCarthy-like starter rather than an infielder/bat.
I don't want to go large again and gut further to get another bat, especially when we have bats coming back. I think getting someone like Beltre would be nice, but too expensive. Ultimately, to get this offence going, we need our existing healthy-ish guys like Bautista and Rasmus to heat up and have that complemented by the return of Lind, EE and Lawrie.