Hi, looking to get a auto machine for a work friend. Budget is $800, Daily americano drinks and milk drinks on occasion. looking at the Philips 3200, haven’t really seen a good review of its espresso. What machines should I be looking at? Thanks in advance. She does not want a semi auto.