I don't know but we just made a shallow box with just enough lip to hold the battery in. Just remove the old box and welded the new one  to the original brackets. One of those things you wish you would have done years ago. On our two old JD 4020 LP gas tractors we just use regular pickup truck batteries. Mostly just the less expensive irrigation special batteries. Easy to swap out on those old tractors and don't always leave a battery on it because of limited use. Those tractors came with the single long battery that didn't have the cranking amps as the one we use now.