had my car in the shop getting an oil change and they noticed the power steering is leaking, they said it would be 1200 to fix and it was the oring on the bottom of the steering box?

does this sound about right in price? and from what i am reading on google searches there is a power steering pump and also a power steering box on this car?

any input would be greatly appreciated!