Is This The Mirrorless Pentax K-01?

A collection of official-looking leaked photos made it on to the Pentax Forums today, purportedly unveiling the upcoming K-01 mirrorless camera. It looks to be available in multiple colours, features an HDR mode, and comes equipped with a 40mm f/2.8 pancake lens. There's been no official word from Pentax as to availability or price. [Pentax Forums via Engadget]