First off, I would lager a doppelbock for at least 8 weeks. And it is a good idea to add a little yeast back. A half packet of US-05 per 5 gallons will work fine. The yeast is neutral enough and the amount of fermentation so small that there will be no ale yeast flavors imparted to the beer.