Here’s a matchbook for the Happy Dolphin Inn.The Inn is now renamed, as most have, The Dolphin Beach Resort. The first name was cheerful. Now it just sounds expensive. Below is the flip side …