Ya esta, gracias por las indicaciones es un codigo un poco ingenuo y seguramente mejorable, lo pongo por si le ayuda a alguien
Código PHP:
<?php
$archivo = "archivo.txt";
$fp = fopen($archivo,'r');
$cadena = fgets($fp,9999);
fclose($fp);
$trozo = explode('"',$cadena);
$trozo[1] += 1;
$array = array($trozo[0], $trozo[1], $trozo[2]);
$resultado = implode('"', $array);
$fp = fopen($archivo,'w');
fputs($fp, $resultado);
fclose($fp);
?>