"bare hull" usually means bare hull (no pump, no fuel tanks, no gauges...)
$1800. for a bare TX19 probably isn't a bad price if the damage isn't too sever.
The problem is going to be what it costs to rig a bare hull if you don't have a doner to take all the parts from.