How do you folks make grilled portabella mushrooms? When I've had these in restaurants, they always seem to be marinated. Any suggestions? Thanks in advance. Kathy