They haven't showed in my commsec either. I'd give it a few days.
You're correct, 10% premium, but have a look at the volume, it was pretty low. I'd expect it to come down closer to NTA over the next week once people have the shares available to trade in their brokerage accounts.