used to be 8am to 11pm Danish time when I worked there, think it's even longer now with the US office open.. Probably more a prioritization issue than workhours issue 🙂