1. Does any own knows a PHP script for selling domains.
2. It should be easily integrated with Paypal checkout.
3. IF it is open source that's much better.
The developer is also good at customising things and does so at a reasonable price. If you know php / html it's also fairly easy to customise yourself.