То вы говорите, что кавычки не ставятся якобы только для торговых марок и марок автомобилей, а сейчас придумали, что якобы уже и названия операционных систем не ставятся в кавычки (цитирую вас: "в кавычки заключаются все собственные названия (в том числе и латинские) кроме латинских названий торговых марок и автомобилей"). Так а Bioshock Infinite чем не торговая марка?