It's great Gil is up on this stuff. That's a pretty good explanation of the fueling logic. The Coleman fuel is pretty easy to find and cheap enough for this use.
I think any small amount of Marvels oil or 2 stroke mix would be fine. A drop or four in the small fuel tank is certainly better than none.
In the end, we will probably come up with some pretty exotic attempts to refine and improve running and lube. MORE POWER!!! lol.