I am using PP2012 and I find no setting to "Render over" Transparency, just the Usual ones including Black and BG shader.

those two give me a transparent background when exporting a PNG.  What viewer are you using to look at PNG?  Sounds like it might be viewer dependent.