Interesting. I've never heard of that - I have PAG in all mine. Obviously Denso oil is 4-10 times the price of generic PAG!
Also interesting, this link suggests that Denso oil is still PAG, but possibly a different grade to the generic stuff:
http://www.denso-am.co.uk/news-event...t-oil-matters/