In our 2014 original Owners Manual, which belongs to the boat, also the correct HIN is written in the included certificate.. From our previous boat, a 1990 Bavaria 300, there was even an owners registry document which was amended by the Bavaria yard themselves (prior to the CE era)
Also with the purchase of our present boat on both the contract and invoice I made sure HIN number and engine number are listed. That’s the only way to “proof” this particular boat belongs to you, proof you paid VAT if privately owned and is the foundation of any other registry of ownership.
Makes a very good discussion and lessons learned what to include into buying second hand Bavaria’s!