This may sound like a pretty bone question but was doing some leisurely internet military history research (as you do) and started traversing pages on the Korean War. I noticed that the ORBAT didn't include any RM in the 1st Commonwealth Division, but there was the inclusion of 41 Independent Commando as attached to the US 1st Marine Division, primarily for the purpose of raiding it seems. Were there any other RM units associated with the Korean War? Because my understanding is that 41 Independent Commando was largely composed of volunteers. Looking at the casualty figures during the period, it also seems that RM was preoccupied in the Malaya areas.