Forgot to mention earlier - it is a bank holiday today - 12 October 2020 So expect bars and restaurants to be busy. Plus shops shut.