They do use a darkening agent to make sure the color is consistent from batch to batch, kind of like sinemar, but a different brand. Perhaps using this and their regular lager would make sense. As I recall, the beer was not as malty as a "real" German Bock beer that year, more like Shiner or Michelob Dark, which to me are not much more than darkened American Lager.
He told me that in that first year of specialty production at the Tampa brewery, they didn't want to make 500 barrels in an untested market.
In 2011 they made a regular all grain batch.
Sorry my memory is not so good on the quotes. I'll see if I can get more info from the brewer.
It's good to see that they are responding to the craft beer market.