for my needs, the jr p45 would be enough. its a smaller version of the dk p45 but the highest fsb i've seen on the dk p45 is 480. you think adjusting the boot clock will work the same way for the dk?