its not good ideally to mix fuels, but a few drops wont really matter. I've ran out of one type of fuel, then switched over to another while out bashing, (most likely was some still in the bottom of the tank) just had to retune to the new fuel and off i went.
just a few drops though, your engine...