Petrichor is a documented vessel. This requires that you renew your registration every year at a blistering price of $26 a year. It's a very easy process that's now even easier... you can renew for up to 5 years now!
While doing some late night surfing for Boat Porn while parked at the Holiday Palms RV Park in Quartzsite, I came across this interesting blog which includes logs about their 7 year circumnavigation:
They’re selling their boat for a price I can’t imagine we’ll ever be able to afford, but hey… let’s keep dreaming and putting it out there into the universe.