I thought some readers might appreciate an update. So ... I spent a great deal of time on the phone
with US CBP officers in various locations. I initially called the national "help" number listed on the website. That led me down a rabbit hole leading to the port control office in Miami
. The officer there told me that the Trade
Department of the US CBP should be able to help out, as they handle importation. He gave me the public number and I called.
They were amused. Or maybe bemused. They also have the final say:
If the boat is USCG documented, it is a US boat and importation is no longer a meaningful topic of conversation; and no customs agent will ever suggest otherwise.
Now if I can only convince the broker...