There's also a piano player museum in Amsterdam, should they not be interested: https://www.pianolamuseum.online/en/