There is in deed a La Siesta International Airport hotel in Panama City. Here is a link to the website:

http://hotels-panama-en.globalhotelindex.com/panama_city/la_siesta_international_airport_hotel_2466603en.html

However, I not aware that they ever had a casino. I am going to create an entry for it on the Caribbean ChipGuide and put on the matchbook cover. Thanks.