I measured mine, but it’s not the 4000K version. It’s from when they first released the SP40 and the CCT seemed around 5000K.
My lumen measurements are not calibrated and as such are probably slightly generous. But even so, I measured around 1200 lumens at startup using a 35E. Perhaps the 4000K is a lower bin. Or perhaps the battery being used had an effect?