Sounds a little on the pricey side.  I wouldn't be surprised over here in the states you could get one for less then haft that price.  It mighty cost you over a 1000 dollars to come over here to get it.  Is your old starter rebuild-able or is it burned up?  Maybe all it needs is a set of brushes and new bushings??