As several of you are no doubt aware, the old Aladdin Resort in Las Vegas is no longer with us.

(Which simplified a couple of sticky "rights of use" issues for us.)