Sorry I can’t really be any help but I would suggest that you try chatting with a Holden service technician. Just go into a dealer (while there are still some around) and ask to talk with a senior service technician. In my experience they have been pretty helpful.