The vote to fund Obamacare took place when Pelosi and Reid forced the Patrient Protection and Affordable Care Act through Congress. It's already funded.
Our options now are:
As to the 3 choices, I agree with your list somewhat. Choices 1 and 2 are our current only choices. Democrats will never defund it on their own. They may agree to a delay, but they will not agree to a delay unless they see that Republicans are resolute. Otherwise, they will just beat up on them in the press and wait for them to fold.
As for Choice 3, that is for next year, not now. It is not much of a choice if Republicans don't win this battle or force a delay. If Obamacare goes into effect now, it will be much harder to defund it in 2014. And conservatives will be so disillusioned with Republicans that they will put control of the Congress in serious doubt.
Even if you get a Republican majority in both houses in 2014, it just gets us back to the shutdown fight, because Obama will most definitely veto any repeal. So then you are back to negotiating a delay or else Republicans shut down the government. Might as well begin that fight now, before Obamacare is implemented and people have got new health plans, not after.
Choice 4, not on your list, is to keep defunding the bill until 2016, until a Republican president can sign a bill repealing this monstrosity of a law. And even then it will be tough, because Dems will filibuster in the Senate. It may take a budgetary parliamentary maneuver to get it done.
You've left out a few steps, but the bottom line is that to get from here to repeal, the first step is to vote to defund Obamacare. If you don't do that, you cannot pretend to be against it.