I have not received anything further on whether the pricing was set. That heads up that I posted on  Tuesday was from a very large shareholder who I expect would have good information from reliable sources. So whether it has happened is unknown to me.