We let a lot of missiles go and in the end we found him months later hiding in a pit.
Yes but even if we could have taken him out without ground forces..I think we would be in worse trouble if we had. I'm sure the option was considered.