@jonny Sounds right to me. I have made a career out of actually reading error messages when my colleagues do not.