Larry,

Welcome back! Hope you are doing well in your neck of the woods!

You are right about the 30th. I was so focused on the month of June (and well ...the usual 15th earnings release.) Looks like anywhere between now and the next 17 business days. Someone mentioned that the last 10K was on the 21st...so maybe sooner rather than later especially if the news is good.

iam