Sorry if I put some folks off here; I was only trying to offer suggestions.

My thought was that someone who was not familiary with commercial engine
cleaning products might not be aware of the varying properties of what is
generically known as "paint thinner".

Over the years I have used the thinner for oil-based house paints, which I
believe was mineral spirits. I have also used enamel thinner and lacquer
thinner. And I have heard all of these referred to as "paint thinner" or
just plain "thinner".

And please remember that anyone who considers my advice to be worthless is
free to avoid using it.