Thanks Ian, we sort of came to that conclusion. Someone who wasn't at clubnight has it, so we weren't certain whether it was F10 or F5. We'll have to delve a bit deeper. I have a recollection that D Comets had a "3" in the engine number as well.
Howard