Wicked! Those whale sharks are something special alright. I dived with one off Ningaloo a few years back and it was amazing.
My cousin had a 3m one come up to the back of his small centre console wayyyy down the coast at Eden, on the NSW/VIC border a few years ago, in April. Pretty far south!!