dw that sounds about right. You can rebuild it yourself (as long as you have a handle on a good automotive machine shop) for between $2000 and $3000 based on whether you need pistons $$$ or not.

__________________
Jim