OK, then I'll plan to use Verbose=7 always.

FYI, I changed Z3 to Verbose=7 also at the same time Monday (in Z3.ini), but Z3 has yet to reflect the change after 2 bars since... Bug?

Thanks.