星巴克使用的咖啡机主要有三种型号： LaMarzocco、 Mastrena和 Verismo。
LaMarzocco：
这是一款全手动的咖啡机，制作耗时稍长，工艺比较复杂。在2000年之前，星巴克门店主要使用这种来自意大利的半自动咖啡机。尽管LaMarzocco已经基本不用，但在一些特定门店或特定场合，它仍然被使用。
Mastrena：
这是一款由瑞士Thermoplan公司定制的全自动咖啡机，属于星巴克目前的主流机型。Mastrena小巧且咖啡质量适中，适合大多数门店使用。
Verismo：
这是初代的全自动咖啡机，速度快，但咖啡质量相对较差。随着门店的扩张，大部分门店已经换上了Mastrena和Verismo这两种全自动咖啡机。
此外，星巴克也可能使用其他类型的咖啡机，如壶式咖啡机、冷萃咖啡机等，以满足不同咖啡制作的需求。
综上所述，星巴克主要使用LaMarzocco、Mastrena和Verismo这三种咖啡机，其中Mastrena和Verismo是目前市场上的主流机型。