Love it when car dealers use the "should" word with such conviction.
Had the same problem, local Holden dealer had it fixed under warrantee.
Easy to sort, the current car dealer owns the car so they can take it to Holden and get it done. It won't cost them a cent.
Make having it fixed (By Holden not by the car dealer) a condition of purchase and make sure you get the worksheet from the Holden warrantee repair so you know its done.