Need advice: Kodak DX4530 vs HP PS935