Supongo que no podía usar CSV, ya que el .txt está siendo generado.
Yo te recomiendo que parcees el texto usando preg_match_all o similar ( http://es.php.net/manual/es/ref.pcre.php ) que vuelque los datos en arrays y que de ahí los manipules...
por ejemplo si la línea del archivo es:
pieza 1
[tabulación] €350
pieza 2
[tabulación] €300
con el código:
Código PHP:
preg_match_all ("/(.*)\t(.*)\v/", $string, $array_resultante);
$nombres = $array_resultante(1); //Array
$precios = $array_resultante(2); //Array
Deberías poder tomar los datos, pero sería mucho más lento que usar una base de datos, más si es extensa la lista, y más si son muchas consultas...
Lo que yo haría sería un script que carge los datos del .txt a la base de datos, para poder ahí manejarlos cómodamente.
Saludos!