Hi John,
Keep in mind that Porsche will require a core return at that price, of $4500.00 and a used gearbox is likely to have issues with it, as well. We purchase these all the time and usually have to do a full rebuild on them.
Part availability is pretty tricky, and difficult to come by...