Plaza Del Sol, formerly Del Rio Mall in Texas, featured an Aladdin’s Castle arcade through the 1980s and ’90s. Residents recall it as one of the few gaming spots in town, especially popular during school breaks.
While no formal site listings remain, Reddit threads and mall walkthroughs document its presence near the old Sears wing. The arcade closed by 2004 amid shrinking mall traffic.