Has anybody made experience with Gigabitfilm, be it the first one which has 40 ISO, be it the new Gigabitfilm HDR 32 ?