Let's wait and see the results of the search first!

I have two possible methods for carrying out the hull patching should it prove necessary:
1) Cut a piece of stiff white glossy card to the correct size and shape using the hole and an outline on ordinary paper as a template and then try to colour it to match.
2) As above as far as preparing the piece goes, but then printing part of the image of the jigsaw to the correct size and then cutting out the matching piece from that and fixing it to the blank piece with UHU.
I favour the second method, but I will need an extract from the master image ( not the entire file! ) of the relevant area of the hull e-mailed to me in the same size format as was used by Ravensburger in order to do it this way.