What’s the difference between desktop PC133 ECC SDRAM DIMMs and server ECC PC133 SDRAM Registered DIMMs? Are they interchangeable? Why are RDIMMs only for servers? Are they smaller?