I'd say that your ID's are spot on. Seeing the brain better adjusted inflated would give a confirmation as I'm far from an expert at all of my 'brain' families...there have been some scientific name changes for some recently. The only other I could think of would be a Platygyra brain coral...but seeing it inflated can (and i believe will) eliminate this as being the correct ID.