Dave:

The Aladdin was purchased out of bankruptcy by the corporation that owns the Planet Hollywood restaurants. I guess the Aladdin will become the Plaet Hollywood Hotel and Casino in 2006.

Thank you for the trades, too! I really wanted that Small Blind button (now, to get kill and 1/2 kill buttons).

Michael Siskin