Red nose spawn times

I so want to start farming that guy and I found a discord that tracks his spawns times but it only says Tue 00:07- Tue 08:07 ...what time is this? EU CET time ? In game day time? Any idea ?