Dopplebock or Bock would've been my first choice had he wanted to do a lager that's why I suggested an alt. I do agree with Keith that a mock DBock or Bock would lend a better perception of the aroma and flavor of straight Munich, but I think he can also get a pretty good feel for it in an alt. Plus I think the alt would render an overall better beer per style because of the yeast factor, IMO. So all is fair in brewing and fermentation.
Either way would give you what you're looking for at the end of the day.