chef-name: Guillermo "Willy" Thomas