I haven't the foggiest idea. It was bought new and the only thing I did was change the jets.
The car is currently buried in boxes until it cools down and I can fix a few other issues. I've received a couple of other tips and will apply when I yank her back out of the garage in October.