Hi,
If you use "GRBG" as the Debayer pattern, you will get your M42 with correct colors.
As you have a strong red hue in the debayered image, using STF with unlinked RGB channels gets you
nice correct colors in the very noisy image after debayering.
Gerald