I haven’t needed to search for an amp myself since this is my only “good” pair of headphones, and they sound fine right out of my PC.

I looked into it, and I found this video from crinacle (well known audiophile in the headphone world) that discusses options that are in the ~$30 USD range that would definitely be loud enough. Namely, the JCALLY JM20 Max. In the video he does warn that this dac/amp could be too loud for some headphones, so maybe you could try the JCALLY JM6 Pro instead (~$15 USD). I would highly recommend watching his video to weigh your options.

The 250 ohm version probably needs a decent headphone amplifier to be loud enough, the 80 ohm version will work with any headphone jack you plug it into.

I have a pair of DT770 pros 80 ohm and they work with anything that has a headphone jack.