i have a complete used running big port that came out of an Australian sold 1988 AW11. i took it out & fitted a 20V . $500.

I also have at my work a rebuilt bigport 4AG but outside your budget