11th Sept - update.

Have a part number for the water pump. Local mechanic is on the job to source one...
Late breaking news - local bloke has turned up empty - none in Australia, he says...

So Plan B - whatever that is... Have further enquired with the importer of the bus (who provided the number)... so we will keep trying tomorrow...

Meanwhile we are off to the bar!