Without thumbing through my west marine or defender catalog I couldn't tell you. So I suggest you can do the same if no one answers your question. I'm surprised it's not stamped on there somewhere. Go on line if you don't have the catalogs.
I have a 3000 and changed my faucet out with a new one and it was fairly easy. Had to take the drawers out. They do provide a special wrench to take the holding nut which is a plus. If you have a drip finding parts to fix it can be a nonexistent.
Good luck
Roger
__________________
|