It seems like a replacement engine is pretty drastic for only having 84k. Japanese engines, even under moderate regular maintenance, should last far longer. I'd imagine that the first owner did a poor job or maintaining their vehicle. I'd leave it alone. That being said, if you need a quality mechanic in Orlando to check it out, head to Orlando Import Auto Specialists! They're amazing.