Help: Music Man JP6 2002 Battery Box

Hi guys, i bought an 2002 JP6, and has i was cleaning and setting it up, i found out that the previous owner, let a battery there too long.

I removed the box to clean the acid leftovers just to find out the shes damaged.

I saw that same the battery box is from gotoh, but they have two similar models,

Gotoh BB-02
Gotoh BB-04

Did any of you guys changed and if you did what model did you bought….?

Thank you very much.