I agree with Kenny: it is safe to map production SFDC to production Marketo and respective sandboxes.
The sandbox allows to switch OrgID when it is refreshed from production. There is no counterpart for the developer instance.
Negotiating an additional instance with Sales could be an option, using that exclusively to synchronise the development instance. A sandbox is a safer choice.