They don't seem to have as large a separation between the cranking and deep cycle batteries, mostly at the expense of the deep cycle batteries.
And there doesn't seem to be both listed for the marine style blue tops any longer.
I would still suggest two, identical and from the same lot, with an isolator diode set for charging.
The blue tops should work fine.
Even at a lower rating, the deep cycles usually cranked okay, due to the fast recovery of these batteries.
They used to rate at 525 or so.