Great replacement bulbs.  Local big box store has 2 bulbs, halogen which cost ~$7, or LED which cost ~$11.  Purchased 2 of the LED bulbs, which promptly stopped working after 3 months.  Purchased these for the cost of 2 of the halogen bulbs, and they work as intended.