I don't know, but I don't think Rockstar North and Rockstar San Diego usually operates under the same principles.