Yes that is correct. 5:30 for banquet and approximately 8pm for the trade session. The trade sessions starts as soon as the banquet festivities are completed.

Jim