That’s a fair price.
If there is someone who needs such a “Willy” (the nickname for mine )
go for it.
Quite a nice name “Willy”… at times has wierd meanings
It’s a good deal nevertheless
Mine is named Marvin - like from The Hitchhiker’s Guide to the Galaxy