$5K is about what I would do. How many miles?
My 6.0 Is running pretty good now. 195K miles. I think I've finally sorted it out. Mine is a Crewcab, Lariet, 4x4 F350 Longbed
You could probably just fix the motor unless the engine bearings are bad. I have a lot of experience with this...