I know I’ve had mine a long time and my brain is stuck in 90’s prices but I really can’t believe people pay that for a project.
When mine became impractical due to children it was probably worth around £1500. I’m glad I decided just to put it in the garage for later.