Very interesting indeed. I went and had a look and the house appears to have a mount for a flywheel, suggesting either a whim or some sort of multipurpose engine. The HJ map says there is a shaft right under the end of the flywheel pit. I wonder if there was a conrod which affected the pump rods. There is a also a strange shaped pit next to the flywheel pit, which doesn't look like a pit below the bobbin, but more like an odd set of stamps.
If that goes for £10000, let alone £1000, I would be very surprised!!!!
Reminds me of that £5000 house in Redruth.......
Interesting why it isn't just a straight pumping engine. I assume the pumping engine house was "Trencrom mine" and the whim was at Hollow Shaft (engine house a fair bit away) and mitchells was the stamps (last working). Whether or not they capped the shaft to use the engine house to drive the stamps, there is no record in any of my books.....