We're at the stage where they're only giving the vaccine to healthcare workers, and then next week to people with underlying illnesses, I believe. They think getting the vaccine to those people will take until the end of November, so the decision about whether to take it or not is unlikely to be an issue for most other people here for a while. We've already had cases at the college but fortunately that was a few members of staff during the summer when the college is mostly empty and everyone is mostly working in their own areas and not moving around much, so it didn't run wild that time.