I felt some noise comming out of my car, so naturally first thing I checked was the power steering fluid, and wow its low!!!

I just took my car to service at 20,000 miles, Ive only driven about 6K miles after that, so it leads me to belive the idiots didnt even check the power steering fluid level.

Can I just put in any brand power steering? I really dont care anymore cause Im returning the lease in like 2-3 months max, and harm can be caused by putting a different brand?

Porsche said I should use Pentosin, does anyone where I can find it besides the dealer?

Thanks!