Calienta una sartén a fuego medio y derrite las 2 cucharadas de mantequilla. Añade el ajo picado y saltea hasta que esté aromático. Añade el pimiento y el boletus y cocina todo junto de 5 a 7 minutos.
Incorpora la carne picada a la sartén y cocina bien junto con las verduras. Saltea durante unos minutos y rectifica la sazón añadiendo sal y pimienta.
Retírala del fuego y aparte en un bol la que utilizarás para los tacos. Si te sobra mucha cantidad, guarda el resto en un recipiente hermético en la nevera.
Para los tacos, añade dos cucharadas medianas de relleno de carne a la hoja de lechuga, 1 de guacamole y 1 de pico de gallo y colócalos en una bandeja para servir.