Maybe I was too brief and not very helpful. Or maybe I was trying to adjust expectations based on personal experience (an HD800 will sound better on a BIG amp than a phone or laptop). An Objective2 type of amp could be enough. But vermthrowaway and redditstinkt666 suggestions of dt770 or 80 ohm maybe a more sensible suggestion than mine based on the OP's post.

Congratulations! Very low miles. Most of my family (brother, sister, mom, me, and wife) have Toyotas and are fans. With that age, you may (or may not) have some age-related items like belts or hoses to replace. With care, this car should go from Canada to the southern tip of Argentina and back.

With 250 ohm resistance, you will need a BIG amp.