Yea mine ran at 25mhz as well. overclocked 16mhz probably for cost reasons.

Anyway, reason i said "ran" as in past-tence as when i put it to work as a "real" every day use machine, it has since died and in need of a cap replacement so one of these days i need to get around to doing that.