Which manufacturer makes the coveted Miata batteries. I see some of the replacements are sealed now. Are these the ones you suggest that might point the OP and others in the right direction of a good battery alternative?