I suggest that stay in 64bit so that they can enjoy better performance too. It's up to them if they want upgrade the ram.