The AFV Club Mark VII Churchill Tank has decals for a Korean War version. But I thought only Crocodiles were sent there? And the kit has no Crocodile fittings.
Let me check my Fletcher Churchill book later. He discusses Mk VII in Korea. If my memory serves me well, something like 20 were sent to Korea most of which as you state were crocodiles but I think a couple normal MK VII were also sent, possibly as command tanks