Мужчина, 35 лет: какое давление норма, если 130/80 и чувствует себя хорошо? Стоит ли идти к врачу?

Девочки, привет! Вчера случайно обнаружили, что у мужа давление 130/80. Думали, что тонометр врет, тк у него норма была 120/70 и он говорил, что при 130 ему бы было плохо. Сегодня он еще раз померил на работе другим тонометром, давление 135/80, чувствует себя хорошо.
Какая норма у мужчин в 35 лет? Нужно ли обращаться к врачу с таким давлением?