Probably the best option he has at this point is to buy a running 2.5 junkyard motor with a 90 day guarantee and swap it in. Everything else involves rebuilding and tearing down his current setup which if he doesn't have the ability to do himself would certainly cost more.
Rick