Unless they have a power purchase agreement then that would depend entirely on whatever the local grid mix is at the time. Bear in mind researchers aren't usually the ones running the physical facilities in big labs. There will be a whole ops department leading that, folks build a career on that.