I thought these were from the old Reno Hilton from the early 80's. Are they from the present Reno Hilton Resort?