A quick spec search
says it does Postscript. And it says "manual" duplex, and this iirc is not what you said you wanted.
It is really difficult to assist, you have to search yourself for "<model_id> specifications" to judge whether a particular item serves your requirement.
I always did it that way, that I looked what good brands printers are available at the moment. The market prices fluctuate much, and can sink very much when a big refurb lot hits the market. This is what I perused to get my Kyocera printers for 30 Euros instead of a three-digit number.
In addition there is the fact that many people prefer light home printers, shy away from power workhorses that weigh maybe 15-30kg.
In the refurb market, this makes business-grade printers much cheaper than much-demanded home printers.
And your area the market isn't that big like in Germany, for example. See
how much choices you'd have on ebay Germany when searching only for the HP 401dn, some for less than 100 euros (shipping included).
So maybe it could be a viable tactic just to look at the
current market situation on ebay Australia?
Looking at there, I probably would look at
this or
that, for example.