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!