> Everything I have read about the last PPC MacMini's has stated that
> the 1.5GHz PPC w/64mb of VRAM was a late revision to the 1.42GHz model.

What's that to do with the 1.33 GHz model (silently upgraded from 1.25 GHz) Golem and I were talking about?

> In fact, I have seen some sellers state that their 1.5GHz models
> came in boxes that had 1.42GHz stickers on them.

Each and every 1.5 GHz MacMini was sold as 1.42 GHz originally, per both the box sticker and the computer badge. Same with the 1.33 GHz model, which was sold as 1.25 GHz.