Does anyone have any $7.50 chips they would like to sell or trade?

Second question: How many different $7.50 chips are there? I only know of one?

Third question: Are there any $15 chips?

Thanks in advance for your information. Steve