Holiday items are on sale at 15% off the original retail price. If tree lights are regularly $12.40 per set, what is the sale price?