PT140 with a 15rd mag?

[BossTisoy]

I saw someone at the range with a PT140 that had what seemed like a 15rd mag. For those who have tinkered with various setups, which magazines fit the 1st gen models?

 

[Brucer41]

I have a PT140 Gen1 and have never seen anything other than the OEM 10 rd mags. I have looked on and off over the years as I would like to have a few more rounds in the little beast, but I really don't EDC it any more so it is a moot point. I would be interested in hearing if you do find them.