I'm selling my 2001 Beneteau in Texas to a buyer in Texas. She is registered with the US Coast Guard AND the State of Texas. Besides filling out form PWD 143 (including TX sales Tax info) and filling out and notarizing the back page of the USCG Certificate of Documentation, do I need to worry about any other legal/documentation issues?