Sometimes when your car is approaching extinction, an OEM part from the dealer may be a great value.
If option #1 isn't practical, GMB is the only aftermarket brand I get consistent good results with.
Since you are in Australia, I do not know if GMB or OE pumps are easy to find or inexpensive.