I'm not the parent poster, but I'd basically say: are there any examples at all? Even if we're really loose with what qualifies as "lean startup" are there any examples anyone would be willing to share?
I don't mean to imply that there aren't any, but I just haven't heard of any.