Professor empresário com dois vinculos, teto do INSS

Bom dia amigos, tenho um cliente que é professor federal e tem a empresa dele (pizzaria).
No cargo de professor federal ele ganha 7.250,00 por mês, ou seja, acima do teto do INSS.
Gostaria de saber se ele é obrigado a fazer a retirada pro-labore dele na empresa (empresário individual ME), sabendo que ele já contribui
com o teto do INSS porém como pessoa física, sendo professor.

No caso ele não seria vinculado ao Regime Próprio dos Servidores Públicos ou fez a opção pelo Regime Geral (INSS) ?

Daniel Neto, ainda nao tenho essa informação, tem alguma diferença no caso dele?