The Marshall's isn't double, but it's a much nicer image.
Thanks
Apparently all rainbows are actually double rainbows, it's just that the outer one is always a lot weaker and therefore often not visible.
There was a double one visible on the occasion I shot that in, but it was weak and didn't add anything to the composition anyway!