Do they have a $3 denomination house chip? Since they have $1, $2, $4, and $5, I thought it was worth asking. Also, does anyone have a $5 house chip to trade?

Thanks,
Dave C.