Re: Where to get 7.3 ppc in the US?