Yay, the new memory arrived. I am glad that I didn't splash out and only paid for the standard delivery - it arrived next day. The machine was getting a little slow without the memory even with a lighter workload than normal - the swap had grown to 1.5Gb after a day's use. I still need to get a RMA for the old memory so I can send it back for replacement...