$9500 seems a bit high for a Europa that at least needs paint, is not complete and with at least the engine disassembled. Maybe it's a good sign that he can ask that. After all, it wasn't that many years ago that you couldn't get that for a nice running Europa. I hope he gets it!
I also hope you find your Europa to restore, skippopotamus! Good luck!