Iv noticed that some websites have child/senior tickets for $9, does anyone know if these tickets have a code which can be used for online booking? If so I tried to make a booking with a senior pass, should be ok right after collecting the ticket at the box office? Note I am not at the right age to use these tickets, hope staff at box office don't care.