'Chosen' Script in GD causing Conflict with Gravity Forms?

I’ve contacted Gravity about this and here is there reply. With GD disabled, the problem does indeed disappear:

“The enhanced ui for the drop down field and multi select field is powered the third-party developed chosen.js script. To prevent issues due to multiple copies of a script being included on a page Gravity Forms is not loading it’s copy of the script as it is already being loaded by WooCommerce. However, the geodirectory plugin is loading a second copy of the script:

<script type=’text/javascript’ src=’http://www.warwickshireproject.co.uk/wp-content/plugins/geodirectory/geodirectory-assets/js/chosen.jquery.js?ver=1.3.4′></script>

You’ll want to contact the developer of that plugin and let them know about this so they can change the handle they use to enqueue the script to ‘chosen’ just like WooCommerce and Gravity Forms use.”

Can this be changed? Alternatively, I’m happy to make the necessary code changes myself until a new version is released?