Ocean City faithful said goodbye to Michael “DJ Batman” Beatty, a dynamic entertainer who developed something of a cult following in the beach town.