Aladdin Halloween
TCR lists the following 4 chips for Halloween 2002:
E0023 Halloween $25.00
E0016 Halloween $ 5.00
E0021 Boogieman's Ball $25.00
E0013 Boogieman's Ball $ 5.00

Were there really 4 Halloween chips issued in 2002??

Thanks for any help Larry