Luxor is part of Mandalay Resorts. Mandalay Resorts was previously called Circus Circus Enterprises. That is why the name Circus Circus was sued.
Jim