I ended up using the Nexus Toolkit to get going again. I followed the instructions on this page and ended up with 4.4. I would have preferred an upgrade, but I gave up. Interesting enough, I thought I was going back to stock and would have to install 4.4. But ended up with 4.4.