Haal de steeltjes van de paddenstoelen. Leg de paddenstoelen met het kapje naar boven op de bakplaat. Combineer boter, olie en zout en wrijf het met een kwastje over de paddenstoelen. Grill 2-3 minuten. Draai de paddenstoelen en wrijf de botermix aan de andere kant op de paddenstoelen. Grill tot ze gaar zijn. Voor serveren besprenkelen met citroensap, gehakte peterselie en paprikapoeder.