for a ef shell that needs paint & shit yeah it is. 800$ is the ball park price of Dc & eg shells.
I could imagine 800$ for a full obd1 b series ready shell that needs paint for 800$ thats just me.

Or paint it then ask 800$ obo