Tadinhos dos funcionários públicos e seus R$ 3.000.000,00!!!

O Prof. Ricardo Medronho da UFRJ, tem distribuído um texto pela internet que diz: 
"Nós, funcionários públicos, pagamos e muito para nos aposentar. Por exemplo, para um salário de R$ 15.000,00, o segurado do INSS paga apenas R$ 608,44 (teto), enquanto que um servidor federal paga R$ 1.650,00 (11% do salário, sem teto!)."
Deixa ver se entendi. 
Então se for aprovada a reforma um servidor federal que ganha R$ 15.000,00 ao mês irá economizar R$ 1.041,56 todo mês, pois irá passar a descontar pelo teto do INSS, é isso? 
O problema é que essa diferença aplicada daria alguma coisa em torno de R$ 200.000,00, isso se o sujeito tiver 50 anos e for se aposentar com 65 anos, enquanto que se for aposentado com 50 anos irá receber quase R$ 3.000.000,00 atualizados, aos 65 anos de idade.
Será que se ele recebesse continuasse pagando pela teto 11% que paga atualmente cobriria a fortuna que receberia de aposentadoria se nada fosse feito?
O Prof. Ricardo Medronho da UFRJ, tem distribuido um texto pela internet que diz: 
"Nós, funcionários públicos, pagamos e muito para nos aposentar. Por exemplo, para um salário de R$ 15.000,00, o segurado do INSS paga apenas R$ 608,44 (teto), enquanto que um servidor federal paga R$ 1.650,00 (11% do salário, sem teto!)."
Deixa eu ver se entendi. 
Então se for aprovada a reforma um servidor federal que ganha R$ 15.000,00 ao mês irá economizar R$ 1.041,56 todo mês, pois irá passar a descontar pelo teto do INSS, é isso? 
O problema é que essa diferença aplicada daria alguma coisa em torno de R$ 200.000,00, isso se o sujeito tiver 50 anos e for se aposentar com 65 anos, enquanto que se for aposentado com 50 anos irá receber quase R$ 3.000.000,00 atualizados, ao final de 65 anos de idade.

Será que se ele continuasse pagando pelo teto de 11% do funcionalismo público, cobriria a fortuna que receberia de aposentadoria se nada for feito?