2016 Tacoma Power Steering Pump Question

Good Evening,
Apologies in advance if this is a stupid question, but I was hoping to get some help from some people who are far more mechanically inclined than I am.

I have a 2016 Tacoma TRD Sport V6 at about 110K miles. I'm the original owner. My truck has been serviced every 5,000 miles. The only work that has been done to it is tires, brakes, and oil changes. It's been a great truck and hasn't given me any problems at all. Since I'm coming up on 120K, I'm looking at doing as much preventive maintenance as I can. I should have started this much earlier, but you live and you learn.

My big mistake was trusting Toyota to do the proper preventive maintenance the first 60,000 miles. I bought a service warranty with the truck that covered 60,000 miles, and Toyota didn't change the plugs at 60,000 miles. They told me the plugs weren't due until 120,000 miles. I should have read the manual closer. Lately the truck has been just a little sluggish and slow to respond, which led me to pull the service records and realize the plugs should have been changed at 60K.

Replacing the plugs is a little beyond my skill set, so I found a mechanic that was highly recommended by a number of people and has been around for close to 40 years in my city, and I took my Tacoma in today for a full once over to get an estimate on anything wrong. The mechanic only recommended a transmission service and spark plugs. He said the only other thing he noticed was that the power steering pump seemed to have a very small leak. He said that the power steering fluid level was correct and that the pump just had some "beaded power steering fluid that looked like it had seeped out the top" (his words). He said it wasn't anything urgent and just to keep an eye on the fluid levels and not to worry about replacing it right now b/c it would be about $800 to replace it using a local part, though he thought he could find a cheaper part online.

I'll be honest - I don't even know where the power steering pump is, nor do I have any clue whether that's an outrageous price or if it's something I need to get fixed.

I've also read a lot of threads on here that seem to indicate this could be a timing cover leak, which obviously = bad. But it seems like it's a common problem in the 2016-17 Tacomas. I definitely don't want to have it be a timing cover leak, but I *especially* don't want to replace a power steering pump unnecessarily and then have to get the timing cover leak fixed. The mechanic didn't seem to be concerned about it, but can anyone give me an idea what to look for?