Is this a good deal for a Warwick thumb BO 5 used?

[Sergius Durante]

Hello everyone, firstly, I wanna thank everyone in my first thread I ever posted, Yall are to kind and Im glad this community exists!

Two, regarding the Warwick thumb, I am currently debating on purchasing this one I had found in a music store. There is indeed some use, I would probably start with replacing the nut with the brass one sold on the Warwick website, apply the wax and clean up the little crevices.

But to you fellow Thumb Rockers, is this bass worth 1150? I have no experience with what I call “nicer” basses (focused on technique as I play strange) or making deals and being my own leader (thanks guitarist...)

Advice is absolutely welcomed, especially to help me in learning about the used market.