No.5s in Korea?

Did the British use the No.5 carbine during their time in the Korean war?

Yes, they took them in the first move up from Hong Kong but soon when the settling-in/honeymoon period was over, it was the No4 that took over with the reinforcements from the UK

There are plenty of early photos of No5's in use