Had broccoli tonight, with garlic, onions, mushrooms, bean curd seasoned with mild Hungarian paprika sauce, pepper, and "Italian spice."

Thanks for the suggestion.  Think I could have cut the broccoli into smaller bits, but it was still good.
