Which leaves the OP with the three choices already postedYep - that's about it.
There was a post I saw somewhere in the last couple of weeks where someone claimed to have googled up a 64-bit PPM repo - one that I hadn't heard of. I can't remember where I saw that post, and I now can't find it. I don't know whether the person was talking about a 5.8 rep and I don't even know that the claim was accurate - but if
lintunen has good google-foo, then it might be worth trying to google up "64 bit PPM" repos, and see if that leads anywhere.
Cheers,
Rob