Sounds like quite a deal. The marina biz (like many others) has been a tough one the last few years but at that price they could probably sell their massive inventory on eBay and double their money
I hope he does well, marinas are an instrumental part of the Bay. Best Wishes!!