Retiring casino exec selling condo for $9.8 million