Penis pumping (yes, serious question)

http://blogs.findlaw.com/legally_weird/2011/10/judge-who-used-penis-pump-in-court-loses-his-pension.html

I’d bet that a doctor prescribed pump would be sized such that the resulting erection would be the same size as his natural erection was. I mean, the prescribed pumps aren’t the exact same ones as advertised in porn magazines are they?

At first I misread pension.