How much should a plumber charge to dig a 2m hole and replace a 2m sewerpipe?

Because a plumber has quoted me $9500! Anyone in Australia have a more realistic idea? Or is this what the world is coming too!