$1k for a timing belt replacement is pretty typical for a lot of vehicles, not just Mini's.