There is no double tax. The customer bought a $5 gift certificate which means that only $5 can be use on any subsequent purchase.

Rick