All right. Time to get these up there. A dinner is being organized separately, but I would also be happy to get together with some people for lunch if that works. I’ll need to leave it to one of the locals to organize place. For time, probably anything after 12:30 pm should work.
Mike