This sign wasn't very useful, as the actual door it referred to seemed to be covered by this construction wall. It was hard to tell, though. Maybe I had already exited?
I did experiment with Pro HDR today, to see the limitations and advantages as compared to the built-in HDR. In short, it's much better and you won't be sorry if you buy it.