Just an update -
They've replied to my email. The charge for research and copying is 55 Euros for 11 pages, which is about $70 not including the credit card surcharges for currency exchange. It's a bit expensive.... but I might do it if I can figure out how to transfer the funds securely.