@zuke, as food for thought, consider the following; did you buy you VE new or from a dealer? How many kms has the car traveled? Has servicing always been done according to the he schedule? at a Holden dealer? Have you modified the engine for big power or loaded a custom transmission tune?
The for considering these is that a vehicle which is maintained according to Holden’s service schedule, and has not been fiddled with, simply should not see a gearbox failure at around 7 years of age. Australian Consumer Law should be on your side if the above is the case. As such, I’d be talking to a Holden dealer with a view to Holden footing the repair bill as such vehicle shouldn’t break a gearbox so soon into its life unless the product is either not fit for purpose (made too fragile and without appropriate service sechedule in the book) or has a latent defect (built wrong in manufacture). Australian Consumer Law should be on your side if the above is true. If you bought it second hand from a dealer, same holds true.
If you bought the car second hand on the private market, you’re on your own. Same holds true if you modded the engine and especially if you loaded a custom transmission tune.
As to $4k odd being a great price? I’d clarify the odd as it your interpretation of odd may be rather different to your repairers interpretation.
Keep in mind that a new
V6auto is $3k (didn’t find a VE V8 auto in my quick google search but ask the guys in the link). So if the $4k odd isn’t $5k and they are installing a new (not reconditioned) gearbox, then it sounds like a good deal. Whatever you do, just make sure the oil lines and trans air/oil cooler (if fitted) are well flushed of any debris that can kill new transmissions in short order. Better still, replace the trans air/oil cooler (if fitted) to be sure.
Good luck.