Soooo excited for Memorial Day weekend but need some help. Any recommendations for vinyl repair in the Cincinnati/Dayton area? We had an approximately 1cm area repair done last spring but it didn't last. We even used a guy that Hern Marine recommended. Any suggestions would be greatly appreciated:)