The older pilot valves used a Thermocouple, really a pressure switch in a way to work. The pilot would heat a rod with liquid in it, used to be mercury, which would expand and go up a capillary and press on a bellows to open a valve type operation. Over time the part in the flame would get tiny holes in it, the insides would leak / evap out and they stop working. Id think that bringing it into an appliance repair place they may be able to piece you someting out of an old gas stove or something that would work as well.
The parts manual, any reputable business should have the shit online as a pdf or something you can download. Charging you THAT much is just crazy. Really sad IMO. Someone spends that kind of money for a machine, whether you are the first person to buy it or the 4th to re buy it, all that does is make people say, no thanks, I'll never use your products again.
Maybe the guy who died, it was broke on him and he never ran it again either because he could not get service, which may explain it's apparant lack of maintenance and care?
Aaron