Option 2 all the way. I've used Drupal forums from both ends in the past, not a fan. We already have all the features we want in vBulletin and we have at least one expert who knows how to use it. Choice seems pretty clear to me.