None of it matters... machine will be sold as a Surf Champ at the end of the day if on Ebay and at $5500 its one hell of an expensive project!
However, the shop I sold the rebadged Gulf Stream to sold it for $6500 as a rebadged pin... someone walked in and laid the cash down on the counter.
It does happen!