K7 at 800MHz ?

I'm hearing word that there are K7 prototypes on 0.18um running at 800MHz (without extra cooling, I'd assume). This info comes from SI:AMD, but may just be a misinformed rumour so take it with a gallon of salt.