Philips DVDR3900 & 3400. One better than the other? Good machines?