Ps5 fan port voltage

What is the voltage on fan port for ps5 I want to know the amount of volts I should get

It’s 12v DC fan, so you’re expecting 12 volt at red pin

the port I am talking about is on the mother board cause my fan stopped working so I wanted to know how much current should I receive from that port to know if is a fan problem or a board problem