Yes, I woke up, in order to catch M42.
The sky remained clear at first, until 3:20a, cloud moved in and blocked my view.
I used the 8.5mm lens to center my target and then switched to 75mm lens for a closer up. Finally, use the 150mm lens to capture 10 minutes (32s longest), and when I tried to insert that 1.5x, cloud moved it before I can get my AVI completed, however, I'd say 1.5x is needed, since the quadruple just begins to resolve. But I were too late to get any AVI.
Fujinon 70mm f/1.8, DMK31AF03, 32s each, 30 frames stacked:-