Quoted from Patofnaud:
If it's cheap relative to your location, and you have no problem doing repairs. Have it it.
It all depends on location, US$1300 is on the lower end of the price scale for this in my area. Some people tend to forget that pins are a dime a dozen in certain areas of the US, not so much so for other places in the world. There are a fair number of people on here that would balk at the prices we have to pay in my area for a game.
You need to contact someone in your area that collects pins to see if that is a reasonable price or not. You may try Dragon's Lair Fans website as it is located in Europe and someone on there may be able to give to a better idea on the pricing. In general though, prices tend to be a bit higher on eBay than the local price.