aBsOlUt,
Suncoast or Sunset Imports will definitely have an OE replacement for a lot less. There may even be cheaper sources suggested by others.
I also believe you can get an all red replacement and any of them are simple to install.
What exactly did they find broken?
Best of luck.
ddb
http://e-partssales.com/Merchant2/merchant.mvc?Screen=PROD&Store_Code=P&Product_Code=kit00004490068&Category_Code=986lights