Here are some Cinco de Mayo chips for sale 2002 Aladdin, 2000, 2002 & 2005 Hard Rock Chips. Have extra's of 2002 Aladdin and 2002 Hard Rock. $2.00 Shipping is $2.00 no matter how many you buy.