Yes, it can be a tight squeeze, depending on how you mount the contactor. Also, your modern solenoid cover looks smaller than the old-style rectangular cover that most of us have.
Here's how I did mine (though I used the Superwinch contactor, not a Warn part). It was a very tight fit: