The gasoline burner gets a (brief) mention at Section 2-6 (and 2-7) of the manual.
It also cites
this document (the manual for the burner).
If I were you I would carry the burner to a safe area out of doors, get hold of some petrol, and proceed with caution in order to gain some familiarity with using the burner before trying it out under the autoclave. Best keep a fire extinguisher handy, too.
From memory, it all worked very well. It can also be used for the BBQ.
