I definitely had that beer at U Fleku, but it's been almost three years, so I don't know how well I remember it. I do brew a black lager pretty regularly, and the recipe is similar to what you suggest. 71% pale, 18% Vienna, 7% Carafa III and 4% C40. I think the Carafa gives a smooth malty sort of roast compared to what RB would do, but I've never tried it with RB, so who knows?