2k Marin is actually listed as one of the developers on Bioshock Infinite now, though I'm not sure what exactly they helped build in it. I'm guessing they were brought in to help finish some of the levels up late in development or work on the DLC, but yeah, hopefully Ken Levine rubbed off on...