we are heading down to wdw in July for a quick trip. We haven't been since they added the Star Wars stuff at HS and I'm trying to figure out if it's mostly for young kids, or would teens be into it? My kids are 15/13/13 and love Star Wars. Honestly I'm trying to figure out what exactly there is